Gluch DP, Kornecki AJ. AUTOMATED CODE GENERATION FOR SAFETY-RELATED APPLICATIONS: A CASE STUDY. csci. 2013;8(3):37. doi:10.7494/csci.2007.8.3.37