1. Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W (2002) Times: a tool for modelling and implementation of embedded systems. In: TACAS ’02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, London, pp 460–464
2. Antti V (1989) Stubborn sets for reduced state space generation. In: Applications and Theory of Petri Nets, pp 491–515
3. Aulagnier D, Koudri A, Lecomte S, Soulard P, Champeau J, Vidal J, Perrouin G, Leray P (2009) Soc/sopc development using mdd and marte profile. In: Model driven engineering for distributed real-time embedded systems. Hermes
4. Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time petri nets. In: FORMATS. Springer, Berlin Heidelberg, pp 82–97
5. Berthomieu B, Vernadat F (2006) Time petri nets analysis with tina. In: QEST: third international conference on quantitative evaluation of systems. Riverside, CA, pp 123–124