On the Use of Visualization in Formal Requirements Specification. - Nicolas Dulac; Thomas Viguier; Nancy G. Leveson; Margaret-Anne D. Storey (RE, 2002)

Using system dynamics for safety and risk management in complex engineering systems. - Nicolas Dulac; Nancy G. Leveson; David Zipkin; Stephen Friedenthal; Joel Cutcher-Gershenfeld; John S. Carroll; Betty Barrett (WSC, 2005)

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)