Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection | IEEE Conference Publication | IEEE Xplore