SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems | IEEE Conference Publication | IEEE Xplore