Chiao, Carolina, Lucinéia Heloisa Thom, Cirano Iochpe, and Manfred Reichert.
" Verifying Existence and Composition of Workflow Activity Patterns in Real Process Models." <em>Anais do IV Simpósio Brasileiro de Sistemas de Informação,
Rio de Janeiro, 2008</em>. SBC, 2008,  
pp.164-175.