A Model-based Approach to Engineering Behavior of Complex Aerospace Systems. - Michel D. Ingham; John C. Day; Kenneth Donahue; Alexander Kadesch; Andrew Kennedy; Mohammed Omair Khan; Ethan Post; Shaun Standley (Infotech@Aerospace, 2012)

Model-Based Verification and Validation of Spacecraft Avionics. - Mohammed Omair Khan; Michael Sievers; Shaun Standley (Infotech@Aerospace, 2012)