Interactive Verification of UML State Machines, Formal Engineering Methods(ICFEM), p.17, 2004. ,
DOI : 10.1007/978-3-540-30482-1_36
Requirements-Level Semantics for UML Statecharts, Proceedings of Formal Methods for Open Object-Based Distributed Systems, p.17, 2000. ,
DOI : 10.1145/235321.235322
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
Statecharts: A Visual Formulation for Complex Systems, Science of Computer Programming, vol.4, p.17, 1987. ,
Some Thoughts on Statecharts, 13 Years Later, International Conference on Computer Aided Verification (GAV'97, p.17, 1997. ,
Executable object modeling with statecharts, Computer, vol.30, issue.7, pp.31-42, 1997. ,
DOI : 10.1109/2.596624
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
Verification of Statecharts Including Data Spaces, TPHOLs03: Emerging Trends Proceedings, pp.177-190, 2003. ,
Sun Microsystems, 2007. ,
Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspects of Computing, p.17, 1999. ,
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
Formalising UML State Machines for Model Checking, The Unified Modeling Language (UML), p.17, 1999. ,
DOI : 10.1007/3-540-46852-8_31
The Semantics of UML State Machines, Turku Centre for Computer Science, p.17, 1999. ,
Modeling and Analyzing Software Behavior in UML, p.17, 2001. ,
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
An Introduction to Formal Specification and Z, 1991. ,
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
The Z Notation: A Reference Manual, 1992. ,
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
Using Z. Specification, Refinement, and Proof, 1996. ,