1. Addouche, N., Antoine, C., Montmain, J.: UML models for dependability analysis of real-time systems. In: Proceedings of International Conference on Systems, Man and Cybernetics, vol. 6, pp. 5209–5214. IEEE CS. October (2004)
2. Addouche, N., Antoine, C., Montmain, J.: Methodology for UML modeling and formal verification of real-time systems. In: International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), p. 17. IEEE Computer Society (2006)
3. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., Franceschinis G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1995)
4. Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, pp.132–145, London, UK. Springer-Verlag (1987)
5. Allenby, K., Kelly, T.: Deriving safety requirements using scenarios. In: 5th IEEE International Symposium on Requirements Engineering (RE 2001), pp. 228–235. IEEE Computer Society (2001)