NASA Formal Methods - Lee (Springer International Publishing, 2020)