Chris Walter, Peter Ellis, Brian LaValley. The Reliable Platform Service: A Property-Based Fault Tolerant Service Architecture. In Ninth IEEE International Symposium on High Assurance Systems Engineering (HASE 2005), 12-14 October 2005, Heidelberg, Germany. pages 34-43, IEEE Computer Society, 2005. [doi]
Abstract is missing.