@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}, }