@TechReport{Clara2,
  author = 	 {Eric Bodden},
  title = 	 {Clara: a framework for implementing hybrid typestate analyses},
  institution =  {\url{https://www.bodden.de/clara/}},
  year = 	 {2009},
  number = 	 {Clara-2},
  Url = {https://www.bodden.de/pubs/tr-clara-2.pdf},
  keywords = {clara},
}