NASA Formal Methods - Barrett; Davies, Misty; Kahsai, Temesghen (Springer International Publishing, 2017)