Gluch, David P., and Andrew J. Kornecki. 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.