Ann S. Devereaux

Inheriting Curiosity: Leveraging MBSE to Build Mars2020

Mallory Lefland, Elyse Fosse, Robert Castillo, 2015 .

Verification and Validation of the Mars Science Laboratory/Curiosity Rover Entry, Descent, and Landing System

Ravi Prakash, Devin Kipp, Richard P. Kornfeld, 2014 .