T. E. Anderson, The case for application-specific operating systems, [1992] Proceedings Third Workshop on Workstation Operating Systems, 1992.
DOI : 10.1109/WWOS.1992.275682

A. Gbr, Specification of operating system, 2009.

J. Béchennec, M. Briday, S. Faucou, and Y. Trinquet, Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification, 2006 IEEE Conference on Emerging Technologies and Factory Automation, 2006.
DOI : 10.1109/ETFA.2006.355432

J. Bengtsson, K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL ? a Tool Suite for Automatic Verification of Real?Time Systems, Workshop on Verification and Control of Hybrid Systems III, ser, 1995.

C. Boke, M. Gotz, T. Heimfarth, D. Kebbe, F. Rammig et al., (Re-) configurable real-time operating systems and their applications, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)., pp.148-155, 2003.
DOI : 10.1109/WORDS.2003.1218077

G. Kiczales, M. Theimer, and B. Welch, A new model of abstraction for operating system design, [1992] Proceedings of the Second International Workshop on Object Orientation in Operating Systems, 1992.
DOI : 10.1109/IWOOOS.1992.252962

D. Lohmann, W. Hofer, W. Schröder-preikschat, J. Streicher, and O. Spinczyk, Ciao: An aspect-oriented operating-system family for resource-constrained embedded systems, USENIX Annual Technical Conference, 2009.

O. Group, OSEK/VDX OS test plan version 2.0, 1999.