E. Silva, E. Ogasawara, D. Oliveira, M. Mattoso, and M. Benevides.
" Especificação Formal e Verificação de Workflows Científicos", in <em>Anais do IV e-Science Workshop</em>, Belo Horizonte/MG, 2010, pp. 201-208.