Kathryn Anne Weiss, Nicolas Dulac, Stephanie Chiesi, Mirna Daouk, David Zipkin, Nancy G. Leveson. Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology. JACIC, 3(11):562-586, 2006. [doi]
@article{WeissDCDZL06,
title = {Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology},
author = {Kathryn Anne Weiss and Nicolas Dulac and Stephanie Chiesi and Mirna Daouk and David Zipkin and Nancy G. Leveson},
year = {2006},
doi = {10.2514/1.24677},
url = {http://dx.doi.org/10.2514/1.24677},
researchr = {https://researchr.org/publication/WeissDCDZL06},
cites = {0},
citedby = {0},
journal = {JACIC},
volume = {3},
number = {11},
pages = {562-586},
}