M. Balser, S. Bäumler, A. Knapp, W. Reif, and A. Thums, Interactive Verification of UML State Machines, Formal Engineering Methods(ICFEM), p.17, 2004.
DOI : 10.1007/978-3-540-30482-1_36

R. Eshuis and R. Wieringa, Requirements-Level Semantics for UML Statecharts, Proceedings of Formal Methods for Open Object-Based Distributed Systems, p.17, 2000.
DOI : 10.1145/235321.235322

H. Fecher, J. Schönborn, M. Kyas, and W. P. De-roever, 29 New Unclarities in the Semantics of UML 2.0 State Machines, Formal Engineering Methods, ICFEM05, pp.52-65, 2005.
DOI : 10.1007/11576280_5

D. Harel, Statecharts: A Visual Formulation for Complex Systems, Science of Computer Programming, vol.4, p.17, 1987.

D. Harel, Some Thoughts on Statecharts, 13 Years Later, International Conference on Computer Aided Verification (GAV'97, p.17, 1997.

D. Harel and E. Gery, Executable object modeling with statecharts, Computer, vol.30, issue.7, pp.31-42, 1997.
DOI : 10.1109/2.596624

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

S. Helke and F. Kammüller, Verification of Statecharts Including Data Spaces, TPHOLs03: Emerging Trends Proceedings, pp.177-190, 2003.

S. Java and . Kit, Sun Microsystems, 2007.

D. Latella, I. Majzik, and M. Massink, Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects of Computing, p.17, 1999.

D. Latella, I. Majzik, and M. Massink, Towards a Formal Operational Semantics of UML Statechart Diagrams, Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pp.465-482, 1999.
DOI : 10.1007/978-0-387-35562-7_25

J. Lilius and I. P. Paltor, Formalising UML State Machines for Model Checking, The Unified Modeling Language (UML), p.17, 1999.
DOI : 10.1007/3-540-46852-8_31

J. Lilius and I. P. Paltor, The Semantics of UML State Machines, Turku Centre for Computer Science, p.17, 1999.

I. Paltor, Modeling and Analyzing Software Behavior in UML, p.17, 2001.

A. Pnueli and M. Shalev, What is in a step: On the semantics of statecharts, Theoretical Aspects of Computer Software (TACS'91), pp.244-264, 1991.
DOI : 10.1007/3-540-54415-1_49

B. Potter, J. Sinclair, and D. Till, An Introduction to Formal Specification and Z, 1991.

T. Schäfer, A. Knapp, and S. Merz, Model Checking UML State Machines and Collaborations, Electronic Notes in Theoretical Computer Science, vol.55, issue.3, p.17, 2001.
DOI : 10.1016/S1571-0661(04)00262-2

M. Spivey, The Z Notation: A Reference Manual, 1992.

A. Thums, G. Schellhorn, F. Ortmeier, and W. Reif, Interactive Verification of Statecharts, Integration of Software Specification Techniques for Applications in Engineering, pp.355-373, 2004.
DOI : 10.1007/978-3-540-27863-4_20

J. Woodcock and J. Davies, Using Z. Specification, Refinement, and Proof, 1996.