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]
Abstract is missing.