The Verification & Validation of the Mars 2020 Perseverance Rover Surface Mission Operations System | IEEE Conference Publication | IEEE Xplore