1. ISO/IEC 15437. Information technology. Enhancements to LOTOS (E-LOTOS) (September 2001)
2. 3GPP. Digital Cellular Telecommunications System (Phase 2+); Generic Access to the A/Gb Interface; Stage 2. 3GPP TS 43.318 version 6.9.0 Release 6 (March 2007)
3. 3GPP. Website of 3GPP (May 2007), http://www.3gpp.org
4. Alur, R., Holzmann, G., Peled, D.: An analyzer for message sequence charts. Software - Concepts and Tools 17(2), 70–77 (1996)
5. Ardis, M.A.: Formal Methods for Telecommunication System Requirements: A Survey of Standardised Languages. Annals of Software Engineering 3 (1997)