Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi, Sofiene Beji. A Time-Triggered Constraint-Based Calculus for Avionic Systems. In 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2015, Auckland, New Zealand, April 13-17, 2015. pages 58-65, IEEE Computer Society, 2015. [doi]
Abstract is missing.