1. A theory of timed automaton;Alur;Theoretical Computer Science,1994
2. Dependability analysis of networked automation systems by probabilistic delay time analysis;Greifeneder;Proc. of IFAC incom, St. Etienne, France,2006
3. Katoen, J-P.: “Stochastic Model Checking”, in Stochastic Hybrid Systems, ed. C.G. Cassandras and J. Lygeros, Control Engineering Series, Taylor & Francis, Boca Raton, pp. 79-107, 2006.
4. Kwiatkowska, M., G. Norman and D. Parker: PRISM: Probabilistic symbolic model checker. In TOOLS'02, LNCS, vol. 2324, pp. 200-204, Springer, 2002.
5. Parker, D. Implementation of Symbolic Model Checking for Probabilistic Systems. Ph.D., University of Birmingham, 2002.