Integrity S2: a fault-tolerant Unix platform | IEEE Conference Publication | IEEE Xplore