1. Alexander, A.: Komposition Temporallogischer Spezifikationen - Spezifikation und Verifikation von Systemen mit Temporal Logic of Distributed Actions. PhD thesis, Humboldt-Universität zu Berlin (2005)
2. ARINC Incorporated. Homepage,
http://www.arinc.com
3. Breyer, R., Riley, S.: Switched, Fast and Gigabit Ethernet, 3rd edn. MacMillan Technical Publishing (1999)
4. Floyd, R.W.: Assigning meaning to programs. In: Proceedings AMS Symposium Applied Mathematics, pp. 19–31 (1967)
5. Goralski, W.: Introduction to ATM Networking. McGraw-Hill, New York (1995)