Silva, E., 		Ogasawara, E., 		Oliveira, D., 		Mattoso, M., & 		Benevides, M.
(2010).
 Especificação Formal e Verificação de Workflows Científicos.
In <em>Anais do IV e-Science Workshop</em>, (pp. 201-208). Porto Alegre: SBC.