Correction: Aircraft Model for Model-Based Systems Analysis & Engineering