Gluch, D. P.; Kornecki, A. J. AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY. csci 2013, 8, 37.