1. Object Management Group: Unified Modeling Language,
http://www.uml.org/
2. International Telecommunication Union: ITU-T Recommendation Z.100 (12/11) – Specification and Description Language – Overview of SDL-2010 (2011),
http://www.itu.int/rec/T-REC-Z.100-201112-I/en
3. SAE International: SAE Architecture Analysis & Design Language (AADL) AS5506 Rev.B (2012),
http://standards.sae.org/as5506b/
4. Lecture Notes in Computer Science;E.A. Aboussoror,2012
5. Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: 14th IEEE International Conference on Automated Software Engineering (ASE 1999), pp. 255–258. IEEE Computer Society (1999)