Textmeddelande: NASA formal methods: