@inproceedings{DimitrovaFKRS12,
  author = {Rayna Dimitrova and Bernd Finkbeiner and Mate Kovacs and Markus N. Rabe and Helmut Seidl},
  title = {Model {C}hecking {I}nformation {F}low in {R}eactive {S}ystems},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings},
  editor = {Viktor Kuncak and Andrey Rybalchenko},
  year = 2012,
  pages = {169--185},
  publisher = {Springer, LNCS 7148},
  doi = {10.1007/978-3-642-27940-9_12},
}