Text this: NASA Formal Methods