Integrity S2: A Fault-Tolerant Unix Platform | IEEE Conference Publication | IEEE Xplore