1. Addouche, N., Antoine, C., Montmain, J.: UML Models for Dependability Analysis of Real-Time Systems. In: Proc of SMC 2004, The Hague, The Netherlands (2004)
2. Addouche, N., Antoine, C., Montmain, J.: Formalisation of Quantitative UML models Using Continuous Time Markov Chains. In: Third Conference on Management and Control of Production and Logistics, Santiago, Chile (2004)
3. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–235 (1994)
4. Alur, R., Henzinger, T.: Reactive Modules. In: Proc of LICS 1996, pp. 207–218. IEEE Computer Society Press, New Jersey (1996)
5. Canevet, C., Gimore, S., Hillston, J., Stevens, P.: Performance Modelling with UML and Stochastic Process Algebra. In: Proc of the Eighteenth Annual UK Performance Engineering Workshop (2002)