NASA Formal Methods - Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou (Springer, 2020)