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 2024)