Ricky W. Butler: Formal Methods at NASA Langley. TPHOLs 2002: 1-2