Sensitivity of Real-Time Operating Systems to Transient Faults: A case study for MicroC kernel | IEEE Conference Publication | IEEE Xplore