Reliability MicroKernel: Providing Application-Aware Reliability in the OS | IEEE Journals & Magazine | IEEE Xplore