Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk. Functional and Non-Functional Properties in a Family of Embedded Operating Systems. In 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA. pages 413-420, IEEE Computer Society, 2005. [doi]
Abstract is missing.