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