Text this: NASA formal methods :