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