1. Aagedal, J.Ø.: Quality of service support in development of distributed systems. PhD thesis, University of Oslo (2001)
2. Lecture Notes in Computer Science;M. AlTurki,2009
3. ARINC 653, system partitioning and scheduling. Aeronautical Radio, Inc. (2003)
4. ARINC 664, AFDX: Avionics Full DupleX switched ethernet. Aeronautical Radio, Inc. (2005)
5. ARP4754, certification considerations for highly-integrated or complex aircraft systems, SAE (1996)