Highlighting the challenges of model-based engineering for spaceflight software systems. - Robert G. Pettit IV; Navneet Mezcciani (MiSE, 2013)

On the Needs and Challenges of Model-Based Engineering for Spaceflight Software Systems. - Robert G. Pettit IV; Navneet Mezcciani; Julie S. Fant (ISORC, 2014)