NASA Formal Methods - Badger (Springer International Publishing, 2019)