Analysis of Real-Time Systems Sensitivity to Transient Faults Using MicroC Kernel | IEEE Journals & Magazine | IEEE Xplore