Cyber-physical systems consist of many hardware and software components. Over the lifetime these their components are often replaced or updated. To avoid integration problems, formal specifications component interface behavior crucial. Such a specification captures not only set provided operations but also order using them constraints on timing behavior. Usually expressed in terms state machine...