NASA Formal Methods - heftet, Engelsk, 2016