1. Aljazzar, H., Fischer, M., Grunske, L., Kuntz, M., Leitner-Fischer, F., Leue, S.: Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples. In: Proceedings of the QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems. IEEE Computer Society (2009)
2. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, New York (2008)
3. Beer, A., Leitner-Fischer, F., Leue, S.: On the relationship of event order logic and linear temporal logic. Technical report soft-14-01, Univ. of Konstanz, Germany, January 2014.
http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-14-01.pdf
, available from:
http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-14-01.pdf
4. Beer, A., Kühne, U., Leitner-Fischer, F., Leue, S., Prem, R.: Analysis of an Airport Surveillance Radar using the QuantUM approach. Technical report soft-12-01, Chair for Software Engineering, University of Konstanz (2012).
http://www.inf.uni-konstanz.de/soft/research/publications/pdf/soft-12-01.pdf
5. Lecture Notes in Computer Science;I Beer,2009