1. IBM Rational Software Architect, RealTime Edition, Version 8.0.2.
http://publib.boulder.ibm.com/infocenter/rsarthlp/v7r5m1/
2. Unified Modeling Language (UML 2.0) Superstructure.
http://www.uml.org/
3. Xsemantics.
http://xsemantics.sourceforge.net/
4. Lecture Notes in Computer Science;D Balasubramanian,2013
5. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16(5), 1512–1542 (1994)