Anand, M., Fischmeister, S., Hur, Y., Kim, J., & Lee, I. (2010). Generating Reliable Code from Hybrid-Systems Models IEEE Transactions on Computers, 59, 1281-1294. https://doi.org/10.1109/TC.2010.84 (Original work published 2025)