Timothy Woods

6.6.1 Using MBSE with SysML Parametrics to Perform Requirements Analysis

Henson Graves, Jerrell Stracener, Junfang Yu, 2011 .

Systems requirements engineering—State of the methodology

Jerrell Stracener, Junfang Yu, Yvonne Bijan, 2013, Syst. Eng..

Identifying Culprits When Probabilistic Verification Fails

David J. Musliner, John Maraist, Timothy Woods, 2012 .