1. ARINC. ARINC 651: Design Guidance for Integrated Modular Avionics. Airlines Electronic Engineering Committee (AEEC), November 1991.
2. ARINC. ARINC 653: Avionics Application Software Standard Interface (Draft 15). Airlines Electronic Engineering Committee (AEEC), June 1996.
3. T.P. Baker. Stack-based scheduling of real-time processes. Journal of Real-Time Systems, 3, 1991.
4. G.C. Buttazzo. Hartik: A real-time kernel for robotics applications. In Proceedings of the IEEE Real-Time Systems Symposium, December 1993.
5. Alessio Carlini and Giorgio Buttazzo. An efficient time representation for real-time embedded systems. In Proceedings of the ACM Symposium on Applied Computing (SAC 2003), Melbourne, Florida, USA, 2003.