VERIFICAÇÃO FORMAL DE PROTOCOLOS DE SEGURANÇA. SIEPE 2020, 11 (2).