1. OMG UML: OMGT Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1, #formal/2011-08-06 (2011),
http://www.omg.org/spec/UML/2.4.1/
2. Grabowski, J., Rudolph, E.: Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description of Traces within Communication Systems. CCITT SDL Newsletter (16), 30–48 (1993)
3. OMG UTP: OMG UML Testing Profile (UTP), Version 1.2, #ptc/2012-09-13 (2012),
http://www.omg.org/spec/UTP
4. Baker, P., Dai, Z.R., Grabowski, J., Haugen, Ø., Schieferdecker, I., Williams, C.: Model-driven testing – using the UML testing profile. Springer (2007)
5. Lecture Notes in Computer Science;Ø. Haugen,2005