Verificação Formal em Aplicações de Reconhecimento de Ondas Eletrocardiográficas - Andre Luiz do Vale Soares (2002)
.