Gluch, David P., and Andrew J. Kornecki. “AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY”. Computer Science 8, no. 3 (April 20, 2013): 37. Accessed May 2, 2024. https://journals.agh.edu.pl/csci/article/view/199.