Self-Testing and Verification Techniques as Applied to an Airborne Military Guidance Computer | IEEE Journals & Magazine | IEEE Xplore