1. Andrés, M.E., D’Argenio, P.: Derivation of counterexamples for quanti- tative model checking. Master’s thesis, Universidad Nacional de Córdoba (2006)
2. Lecture Notes in Computer Science;H. Aljazzar,2005
3. Lecture Notes in Computer Science;H. Aljazzar,2006
4. Aljazzar, H., Leue, S.: Counterexamples for model checking of markov decision processes. Computer Science Technical Report soft-08-01, University of Konstanz (December 2007)
5. De Alfaro, L.: Temporal logics for the specification of performance and reliability, pp. 165–176. Springer, Heidelberg (1997)