1. Abdeddaim, Y., Kerbaa, A., Maler, O.: Task graph scheduling using timed automata. In: Proc. IPDPS 2003 (2003)
2. de Alfaro, L.: Formal Verification of Probabilistic Systems. Ph.D. thesis, Stanford University (1997)
3. Lecture Notes in Computer Science;C. Baier,2008
4. Baier, C., Größer, M., Leucker, M., Bollig, B., Ciesinski, F.: Controller synthesis for probabilistic systems. In: Proc. TCS 2006, pp. 493–5062. Kluwer (2004)
5. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)