Compositional design and verification of component-based information systems door