Temporal Specification and Deductive Verification of a Distributed Component Model and Its Environment | IEEE Conference Publication | IEEE Xplore