Chiao, Carolina, 		Thom, Lucinéia, 		Iochpe, Cirano, E 		Reichert, Manfred.
" Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models" <em>Anais do Simpósio Brasileiro de Sistemas de Informação (SBSI)</em> [Online], (7 abril 2008)