Textmeddelande: NASA formal methods :