C. Compositional Design and Verification of Component-Based Information Systems Jan Martijn van der Werf.