1. Real-time Systems—design Principles for Distributed Embedded Applications;Kopetz,1997
2. ITU-T Recommendation Z,100: Languages for telecommunications applications—specification and description language (SDL), International Telecommunication Union, Geneva, 1999.
3. ITU-T Recommendation Z.100 Annex F: SDL formal semantics definition, International Telecommunications Union, Geneva, 2000.
4. Telecommunications and Beyond: The Broader Applicability of SDL, MSC Lecture Notes in Computer Science (LNCS) 2599;Sherratt,2003
5. Frameworks by means of virtual types—exemplified by SDL;Bræk,1998