David B. Stewart, Pradeep K. Khosla. Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring. In 1st High-Assurance Systems Engineering Workshop (HASE 96), October 22, 1996, Niagara, Canada, Proceedings. pages 150-157, IEEE Computer Society, 1996. [doi]
Abstract is missing.