The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture. - Chris Walter; Peter Ellis; Brian LaValley (HASE, 2005)