Carlo A. Furia, Matteo Rossi: A Compositional Framework for Formally Verifying Modular Systems. TACoS 2004: 185-198