NASA Formal Methods - Havelund; Holzmann, Gerard; Joshi, Rajeev (Springer International Publishing, 2015)