@Article{bh10sttt,
   author = {Eric Bodden and Laurie Hendren},
   title = {The Clara framework for hybrid typestate analysis},
   journal = {International Journal on Software Tools for Technology Transfer (STTT)},
   publisher = {Springer},
   issn = {1433-2779},
   keyword = {Computer Science},
   pages = {307-326},
   volume = {14},
   issue = {3},
   note = {10.1007/s10009-010-0183-5},
   year = {2012},
   url = {https://www.bodden.de/pubs/bl2010clara.pdf},
}