Gluch, D. P., and A. J. Kornecki. “AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY”. Computer Science, vol. 8, no. 3, Apr. 2013, p. 37, doi:10.7494/csci.2007.8.3.37.