A Hybrid Architecture for Real-Time Mixed-Initiative Planning and Control. - Steven W. Mitchell (AAAI/IAAI, 1997)

Transitioning the SWFTS Program Combat System Product Family from Traditional Document-Centric to Model-Based Systems Engineering. - Steven W. Mitchell (Syst. Eng., 2014)

Verifying SysML activity diagrams using formal transformation to Petri nets. - Edward Huang; Leon F. McGinnis; Steven W. Mitchell (Syst. Eng., 2020)

MBSE delivers significant return on investment in evolutionary development of complex SoS. - Edward B. Rogers III; Steven W. Mitchell (Syst. Eng., 2021)