Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring | IEEE Conference Publication | IEEE Xplore