Document: Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance