@incollection{usVMCAI2012,
  author = {Rayna Dimitrova and Bernd Finkbeiner and M\'at\'e Kov\'acs and Markus Rabe and Helmut Seidl},
  title = {Model {C}hecking {I}nformation {F}low in {R}eactive {S}ystems},
  booktitle = {Verification, Model Checking, and Abstract Interpretation},
  editor = {Viktor Kuncak and Andrey Rybalchenko},
  year = 2012,
  pages = {169-185},
  series = {Lecture Notes in Computer Science},
  volume = {7148},
  publisher = {Springer Berlin / Heidelberg},
}