1. Clarke, E.M., Emerson, E.A., Sifakis, J.: Model checking: algorithmic verification and debugging. Commun. ACM 52, 74 (2009)
2. Silva, B.I., Stursberg, O., Krogh, B.H., Engell, S.: An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In: Proceedings of the 40th IEEE Conference on Decision Control (Cat. No.01CH37228), vol. 3, pp. 2867–2874 (2001)
3. Stursberg, O., Lohmann, S., Engell, S.: Improving dependability of logic controllers by algorithmic verification. In: IFAC World Congress 2005, pp. 104–109 (2005)
4. Greifeneder, J., Frey, G.: Probabilistic hybrid automata with variable step width applied to the anaylsis of networked automation systems. Discret. Syst. Des. 3, 283–288 (2006)
5. Greifeneder, J., Liu, L., Frey, G.: Comparing simulative and formal methods for the analysis of response times in networked automation systems. In: IFAC World Congress 2008, vol. 1, p. O3 (2008)