The case for application-specific operating systems, [1992] Proceedings Third Workshop on Workstation Operating Systems, 1992. ,
DOI : 10.1109/WWOS.1992.275682
Specification of operating system, 2009. ,
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
UPPAAL ? a Tool Suite for Automatic Verification of Real?Time Systems, Workshop on Verification and Control of Hybrid Systems III, ser, 1995. ,
(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
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
Ciao: An aspect-oriented operating-system family for resource-constrained embedded systems, USENIX Annual Technical Conference, 2009. ,
OSEK/VDX OS test plan version 2.0, 1999. ,