NASA Formal Methods - Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez (Springer, 2022)