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)