Towards a Formally Verified Space Mission Software using SPARK - Neto, Paulo Miguel Ferreira (2019)