Title: Spacecraft Health Automated Reasoning Prototype