NASA Formal Methods - Dutle; Anthony Narkawicz; César Muñoz; Muñoz, César; Narkawicz, Anthony (Springer International Publishing, 2018)