Verification and Validation for Deep-Space Autonomous Systems (NASA MSL Case Study)

An architectural analysis of how NASA JPL tackled verification and validation for the Mars Science Laboratory Curiosity rover flight software.