David P. Gluch, Andrew J. Kornecki. Automated Code Generation for Safety-Related Applications: a Case Study. Computer Science (AGH), 8:37-48, 2007. [doi]
@article{GluchK07,
title = {Automated Code Generation for Safety-Related Applications: a Case Study},
author = {David P. Gluch and Andrew J. Kornecki},
year = {2007},
url = {http://journals.agh.edu.pl/csci/article/view/199},
researchr = {https://researchr.org/publication/GluchK07},
cites = {0},
citedby = {0},
journal = {Computer Science (AGH)},
volume = {8},
pages = {37-48},
}