1. Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: 5th Symp. On Logic in Computer Science. IEEE, Los Alamitos (1990)
2. Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science 126, 183–235 (1994)
3. Bouajjani, A., Echahed, R., Robbana, R.: Verifying Invariance Properties of Timed Systems with Duration Variables. Proc. Formal Techniques in Real-Time and Fault Tolerant Systems, FTRTFTS 1994 (1994)
4. Briones, L.B.: Theories for model-based testing: real-time and coverage, thesis. University of Twenty (March 2007)
5. Lecture Notes in Computer Science;K. Cerans,1992