Weiss, G., Fischmeister, S., Anand, M., & Alur, R. (2009). Specification and Analysis of Network Resource Requirements of Control Systems Proc. Of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC), 381-395. Los Angeles, USA CA. https://doi.org/10.1007/978-3-642-00602-9_27 (Original work published 2025)