Verificação Formal de Programas com SPARK2014 - Assunção, Paulo Manuel Fernandes de (2017)