1. Airlines Electronic Engineering Committee (AEEC): Avionics Application Software Standard Interface - ARINC Specification 653 - Part 1 (Supplement 2 - Required Services), ARINC (2006)
2. Airlines Electronic Engineering Committee (AEEC): Avionics Application Software Standard Interface - ARINC Specification 653 - Part 2. Extended Services, ARINC (2008)
3. Baldoni, R., Raynal, M.: Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems. IEEE Distributed Systems Online 3(2) (2002)
4. Dinning, A., Schonberg, E.: Detecting Access Anomalies in Programs with Critical Sections. In: The ACM/ONR workshop on Parallel and Distributed Debugging, pp. 85–96. ACM Press, New York (1991)
5. Engel, C., Jenn, E., Schmitt, P.H., Coutinho, R., Schoofs, T.: Enhanced Dispatchability of Aircraft using Multi-static Configurations. In: Embedded Real Time Software and Systems, Toulouse (2010)