Formal Verification for a Next-Generation Space Shuttle. - Stacy D. Nelson; Charles Pecheur (FAABS, 2002)

Toward V&V of neural network based controllers. - Johann Schumann; Stacy D. Nelson (WOSS, 2002)

What Makes a Code Review Trustworthy? - Stacy D. Nelson; Johann Schumann (HICSS, 2004)