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