área de pesquisa Mateus Krepsky Ludwich UML - Cafe, Uma Metodologia para Projeto e Verificação de Sistemas Transacionais
