Text this: NASA formal methods: