Pierfrancesco Bellini, Mario Andres Bruno, Paolo Nesi. Verification Criteria for a Compositional Model for Reactive Systems. In 6th International Conference on Engineering of Complex Computer Systems (ICECCS 2000), 11-15 September 2000, Tokyo, Japan. pages 25-35, IEEE Computer Society, 2000. [doi]
Abstract is missing.