Bapty, T. ., Neema, S. ., Nordstrom, S. ., Shetty, S. ., Vashishtha, D. ., Overdorf, J. ., & Sheldon, P. . (2003). Modeling and Generation Tools for Large-Scale, Real-Time Embedded Systems. In 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS’03) (p. 11–16). Huntsville, Alabama. (Original work published 2025)