@conference {inp:DimitrovaFinkbeinerKovacsRabeSeidl2012a, title = {Model Checking Information Flow in Reactive Systems}, booktitle = {Proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012)}, year = {2012}, author = {R. Dimitrova and B. Finkbeiner and M. Kov{\'a}cs and M. Rabe and H. Seidl} }