1. ITU-T Recommendation Z.100: Specification and Description Language (2000)
2. ISO LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS 8807 (1988)
3. Babich, F., Deotto, L.: Formal Methods for Specification and Development of Communication Protocols. IEEE Comm. Surveys and Tutorials 4, 2–20 (2002)
4. Object Management Group: Catalog of UML Profile Specifications (2011)
5. Object Management Group: UML Superstructure Specification Document (2009)