Reducing Risk of InSight Surface Operations Through High-Fidelity Command Sequence Modeling | IEEE Conference Publication | IEEE Xplore