Connors, Munoz, Schnur, Siminiceanu, 2009. Static Verification of Spacecraft Procedures, in: . American Institute of Aeronautics and Astronautics.. https://doi.org/10.2514/6.2009-2033