1. Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Proc. STOC 1995, pp. 363–372. ACM Press, New York (1995)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
3. Lecture Notes in Computer Science;N. Bertrand,2011
4. Lecture Notes in Computer Science;A. Blass,2006
5. Bohnenkamp, H., Stoelinga, M.: Quantitative testing. In: Proc. EMSOFT 2008. ACM, New York (2008)