Andrew J. Kornecki, Brian Butka, Janusz Zalewski. Software Tools for Safety-Critical Systems According to DO-254. IEEE Computer, 41(12):112-115, 2008. [doi]
@article{KorneckiBZ08,
title = {Software Tools for Safety-Critical Systems According to DO-254},
author = {Andrew J. Kornecki and Brian Butka and Janusz Zalewski},
year = {2008},
doi = {10.1109/MC.2008.503},
url = {http://dx.doi.org/10.1109/MC.2008.503},
researchr = {https://researchr.org/publication/KorneckiBZ08},
cites = {0},
citedby = {0},
journal = {IEEE Computer},
volume = {41},
number = {12},
pages = {112-115},
}