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