1. Baier C, Katoen J-P (2008) Principles of model checking, vol 26202649. MIT press, Cambridge
2. OMG Systems Modeling Language (OMG SysML).
http://www.omg.org/spec/SysML/1.3/
(June, 2012)
3. OMG Unified Modeling Language (OMG UML).
http://www.omg.org/spec/UML/2.4.1/
(August, 2011)
4. Jarraya Y, Soeanu A, Debbabi M, Hassaine F (2007). Automatic verification and performance analysis of time-constrained sysml activity diagrams. In: 14th annual IEEE international conference and workshops on the engineering of computer-based systems, 2007. ECBS ’07, IEEE pp 515–522
5. Clarke EM, Grumberg O, Peled D (1999) Model checking. MIT Press, Cambridge