Reference author: Michael Holzmann

Menkhaus, G. ., Fischmeister, S. ., Holzmann, M. ., & Farcas, C. . (2005). Towards Efficient Use of Shared Communication Media in the Timed Model. Proc. Of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 342-351. San Francisco, USA. https://doi.org/10.1109/RTAS.2005.57 (Original work published 2025)

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 2025)