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.