Potop-Butucaru, D., Azim, A., & Fischmeister, S. (2010). Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures Proc. Of the International Conference on Embedded Software (EMSOFT), 199-208. Scottsdale, Arizona, USA. https://doi.org/10.1145/1879021.1879048 (Original work published 2025)