Can we rely on COTS microkernels for building fault-tolerant systems? | IEEE Conference Publication | IEEE Xplore