@conference {inp:EhlersFinkbeiner2011a, title = {Monitoring Realizability}, booktitle = {Proceedings of the 2nd International Conference on Runtime Verification (RV 2011)}, year = {2012}, author = {R. Ehlers and B. Finkbeiner} }