1. Alur, R., Dill, D.: A theory of timed automata. TCS 126, 183–235 (1994)
2. Behrmann, G., David, A., Larsen, K.G., Möller, O., Pettersson, P., Yi, W.: Uppaal –present and future. In: Proc. of 40th IEEE Conf. on Decision and Control. IEEE Press, Los Alamitos (2001)
3. Lecture Notes in Computer Science;J. Bengtsson,1996
4. Bohnenkamp, H., D’Argenio, P.R., Hermanns, H., Katoen, J.-P.: MoDeST: A compositional modeling formalism for real-time and stochastic systems. CTIT Tech. Rep. 04-46, University of Twente (2004) Submitted for publication
5. Lecture Notes in Computer Science;S. Bornot,1998