J. V. Guttag, J. J. Horning, S. J. Garland, K. D. Jones, A. Modet et al., Larch: Languages and Tools for Formal Specification, ser. Texts and Monographs in Computer Science, 1993.

P. D. Mosses and M. Bidoit, CASL ? the Common Algebraic Specification Language: User Manual, ser. Lecture Notes in Computer Science, 2004.

J. M. Spivey, The Z Notation: A Reference Manual, International Series in Computer Science, 1992.

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

J. Lilius and I. Porres, Formalising UML State Machines for Model Checking, Proc. of the International Conference on the Unified Modelling Language: Beyond the Standard (UML'99), ser. Lecture Notes in Computer Science, pp.430-445, 1999.
DOI : 10.1007/3-540-46852-8_31

D. Latella, I. Majzik, and M. Massink, Towards a Formal Operational Semantics of UML Statechart Diagrams, Proc. of the IFIP TC6/WG6.1 3rd International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pp.331-347, 1999.
DOI : 10.1007/978-0-387-35562-7_25

M. Van-der-beeck, Formalization of UML-Statecharts, Proc. of the 4th International Conference on the Unified Modelling Language (UML'01), ser. Lecture Notes in Computer Science, pp.406-421, 2001.
DOI : 10.1007/3-540-45441-1_30

J. Jürjens, A UML statecharts semantics with message-passing, Proceedings of the 2002 ACM symposium on Applied computing , SAC '02
DOI : 10.1145/508791.508987

C. Attiogbé, P. Poizat, and G. Salaün, Integration of Formal Datatypes within State Diagrams, Proc. of the 6th International Conference on Fundamental Approaches to Software Engineering (FASE'03), ser. Lecture Notes in Computer Science, M. Pezzè, pp.341-355, 2003.
DOI : 10.1007/3-540-36578-8_24

C. Choppy, P. Poizat, and J. Royer, The Korrigan Environment, special issue on Tools for System Design and Verification, pp.19-36, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00444026

C. Attiogbé, P. Poizat, and G. Salaün, Specification of a gas station using a formalism integrating formal datatypes within state diagrams, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213436

M. Broy and E. Olderog, Trace-Oriented Models of Concurrency, ser. Handbook of Process Algebra, pp.101-195, 2001.

S. J. Garland and J. V. Guttag, A Guide to LP, the Larch Prover, 1991.

H. Kirchner and C. Ringeissen, Executing CASL Equational Specifications with the ELAN Rewrite Engine, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00098937

A. Auverlot, C. Cailler, M. Coriton, V. Gruet, and M. Noël, xCLAP: Animation of State Diagrams with Formal Data, Master's Degree Project, University of Nantes. Tool and documentation available on G. Salaün's webpage, 2003.

G. Nedéléc, M. Papillon, C. Piedsnoirs, and G. Salaün, CLAP: a Class Library for Automata in Python, Master's Degree Project, University of Nantes. Tool and documentation available on G. Salaün's webpage, 1999.

R. Cleaveland, T. Li, and S. Sims, The Concurrency Workbench of the New Century (Version 1.2), 2000.

H. Garavel, F. Lang, and R. Mateescu, An Overview of CADP, EASST Newsletter, vol.4, pp.13-24, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00069920

P. Poizat, J. Royer, and G. Salaün, Bounded Analysis and Decomposition for Behavioural Descriptions of Components, Proc. of the Int. Conf, pp.33-47, 2006.
DOI : 10.1145/353323.353382
URL : https://hal.archives-ouvertes.fr/hal-00342158

R. Back, D. Björklund, J. Lilius, L. Milovanov, and I. Porres, A Workbench to Experiment on New Model Engineering Applications, Proc. of The Unified Modeling Language, Modeling Languages and Applications Conference (UML'2003), ser. Lecture Notes in Computer Science, pp.96-100, 2003.
DOI : 10.1007/978-3-540-45221-8_9

N. Dershowitz, Orderings for term-rewriting systems, Theoretical Computer Science, vol.17, issue.3, pp.279-301, 1982.
DOI : 10.1016/0304-3975(82)90026-3

P. Borovansk´yborovansk´y, C. Kirchner, H. Kirchner, P. Moreau, and C. Ringeissen, An Overview of ELAN, " in International Workshop on Rewriting Logic and its Applications, ser. Electronic Notes in Theoretical Computer Science, 1998.

M. V. Cengarle and A. Knap, A Formal Semantics for OCL 1.4, Proc. of the 4th International Conference on the Unified Modelling Language (UML'01), ser. Lecture Notes in Computer Science, pp.118-133, 2001.
DOI : 10.1007/3-540-45441-1_10

T. Clark and J. Warmer, Object Modeling with the OCL, The Rationale behind the Object Constraint Language, ser, Lecture Notes in Computer Science, vol.2263, 2002.

R. Büssow and M. Weber, A Steam-Boiler Control Specification with Statecharts and Z, " in Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler, ser. Lecture Notes in Computer Science, pp.109-128, 1996.

S. Dupuy, Y. Ledru, and M. Chabre-peccoud, An Overview of RoZ : A Tool for Integrating UML and Z Specifications, Proc. of the Advanced Information Systems Engineering Conference (CAiSE'00), ser. Lecture Notes in Computer, pp.417-430, 2000.
DOI : 10.1007/3-540-45140-4_28

E. Sekerinski and R. Zurob, Translating Statecharts to B, Proc. of the 3rd International Conference on Integrated Formal Methods (IFM'02), ser. Lecture Notes in Computer Science, pp.128-144, 2002.
DOI : 10.1007/3-540-47884-1_8

K. Lano, K. Androutsopoulos, and P. Kan, Structuring reactive systems in B AMN, ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods, pp.25-34, 2000.
DOI : 10.1109/ICFEM.2000.873802

H. Ledang and J. Souquì-eres, Contributions for Modelling UML State-Charts in B, Proc. of the 3rd International Conference on Integrated Formal Methods (IFM'02), ser. Lecture Notes in Computer Science, pp.109-127, 2002.
DOI : 10.1007/3-540-47884-1_7
URL : https://hal.archives-ouvertes.fr/inria-00099403

R. Laleau and F. Polack, Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development, Proc. of the 2nd International Z and B Conference ser. Lecture Notes in Computer Science, pp.517-534, 2002.
DOI : 10.1007/3-540-45648-1_27
URL : https://hal.archives-ouvertes.fr/hal-01124738

E. Astesiano, M. Cerioli, and G. Reggio, Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML, Proc. of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST'00), ser. Lecture Notes in Computer Science, T. Rus, pp.273-292, 2000.
DOI : 10.1007/3-540-45499-3_21

G. Reggio and L. Repetto, Casl-Chart: A Combination of Statecharts and of the Algebraic Specification Language Casl, Proc. of the 8th International Conference on Algebraic Methodology and Software Technology (AMAST'00), ser. Lecture Notes in Computer Science, T. Rus, pp.243-257, 2000.
DOI : 10.1007/3-540-45499-3_19

G. Salaün and P. Poizat, Interacting Extended State Diagrams, Proc. of the Int. Workshop on Semantic Foundations of Engineering Design Languages (SFEDL'04), ser. ENTCS, pp.49-57, 2005.
DOI : 10.1016/j.entcs.2004.09.028

A. David, M. O. Möller, and W. Yi, Formal Verification of UML Statecharts with Real-Time Extensions, Proc. of the International Conference on Fundamental Approaches to Software Engineering (FASE'02), ser. Lecture Notes in Computer Science, pp.218-232, 2002.
DOI : 10.1007/3-540-45923-5_15