Menkhaus, G. ., Holzmann, M. ., & Fischmeister, S. . (2004). Time-triggered Communication for Distributed Control Applications in a Timed Computation Model. 23rd International Digital Avionics Systems Conference (DASC). Presented at the. Salt Lake City, USA: IEEE Press. https://doi.org/10.1109/DASC.2004.1390786 (Original work published 2024)