Gluch, D. P., & Kornecki, A. J. (2013). AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY. Computer Science, 8(3), 37. https://doi.org/10.7494/csci.2007.8.3.37