1. ARINC. Avionics Application Software Standard Interface. Technical Report ARINC Specification 653, Aeronautical Radio, Inc., 1997.
2. I. Bate and T. Kelly. Architectural Considerations in the Certification of Modular Systems. Reliability Engineering and System Safety, 81:303–324, 2003.
3. M. Behnam, I. Shin, T. Nolte, and M. Nolin. Sirap: a synchronization protocol for hierarchical resource sharing in real-time open systems. In EMSOFT’ 07: Proceedings of the 7th ACM & IEEE international conference on Embedded software, Seiten 279–288, New York, NY, USA, 2007. ACM.
4. R. I. Davis and A. Burns. Hierarchical fixed priority pre-emptive scheduling. In Proceedings of 26th IEEE International Real-Time Systems Symposium, Seiten 389–398, 2005.
5. R. Kaiser. Virtualisierung von Mehrprozessorsystemen mit Echtzeitanwendungen. Dissertation, Universität Koblenz-Landau, 2009. Betreuer: Dieter Zöbel.