Making embedded software reuse practical and safe. - Nancy G. Leveson; Kathryn Anne Weiss (SIGSOFT FSE, 2004)

Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology. - Kathryn Anne Weiss; Nicolas Dulac; Stephanie Chiesi; Mirna Daouk; David Zipkin; Nancy G. Leveson (J. Aerosp. Comput. Inf. Commun., 2006)