NASA Formal Methods - Barrett, Clark (Springer International Publishing, 2020)