1. Allilaire F., J. Bézivin, F. Jouault, I. Kurtev (2006), ATL: Eclipse Support for Model Transformation. In: Proceedings of the Eclipse Technology eXchange Workshop (eTX) at the ECOOP’2006 Conference, Nantes, France.
2. A theory of timed automata;Alur;Theoretical Computer Science, Elsevier,1994
3. Formalizing non-concurrent UML state machines using Colored Petri nets;André;ACM SIGSOFT Software Engineering Notes,2012
4. Timed automata: Semantics, algorithms and tools;Bengtsson;Springer Berlin/Heidelberg,2004
5. On formalizing UML state machines using ASMs;Börger;Information Software Technology,2004