Using formal methods with SysML in aerospace design and engineering. - Henson Graves; Yvonne Bijan (Ann. Math. Artif. Intell., 2011)

Systems requirements engineering - State of the methodology. - Yvonne Bijan; Junfang Yu; Jerrell T. Stracener; Timothy Woods (Syst. Eng., 2013)