Verificação de refinamento em diagramas de sequência com estruturas de controle - Araújo, Daniel José Freire de (2019)