Alwyn Goodloe NASA Langley Research Center Challenges in the Verification of Flight-Critical Systems.