Reference keyword: timed computation model

Fischmeister, S., & Menkhaus, G. (2004). Task Sequencing for Optimizing the Computation Cycle in a Timed Computation Model Presented at the Proceedings of the International Digital Avionics Systems Conference (DASC) conference. Salt Lake City, UT, USA: IEEE Press. https://doi.org/10.1109/DASC.2004.1390783 (Original work published 2025)

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)