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

Compositional Verification of Architectural Models. - Darren D. Cofer; Andrew Gacek; Steven P. Miller; Michael W. Whalen; Brian LaValley; Lui Sha (NASA Formal Methods, 2012)