Maria Sorea, Bruno Dutertre, Wilfried Steiner. Modeling and Verification of Time-Triggered Communication Protocols. In 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. pages 422-428, IEEE Computer Society, 2008. [doi]
Abstract is missing.