@inproceedings{rtConsistency, author = {Post, Amalinda and Hoenicke, Jochen and Podelski, Andreas}, title = {rt-inconsistency: a new property for real-time requirements}, booktitle = {Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software}, series = {FASE'11/ETAPS'11}, year = {2011}, isbn = {978-3-642-19810-6}, location = {Saarbr\&\#252;cken, Germany}, pages = {34--49}, numpages = {16}, url = {http://portal.acm.org/citation.cfm?id=1987434.1987440}, acmid = {1987440}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, }