Verification and validation of Mars Science Laboratory surface system. - Richard Welch; Daniel Limonadi; Jessica Samuels; Noah Warner; Chaz Morantz (SoSE, 2013)