.... Telemetry data processing flow Spacecraft health monitoring Flow-based programming Component-based development Limit checking Since launching a not flight-worthy vehicle can lead to loss of mission, billions of dollars and possible vital national security capability (Richardson et al...