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