Validation of Guidance Control Software Requirements Specification for Reliability and Fault-Tolerance