Jesper Berthing, Christo Angelov. Component-Based Design of Safe Real-Time Kernels for Embedded Systems. In 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2007), August 28-31, 2007, Lübeck, German. pages 129-136, IEEE Computer Society, 2007. [doi]
Abstract is missing.