Mattos, Talita, Flávia Maria Santoro, Kate Revoredo, and Vanessa Tavares Nunes.
" Formalizing Context in Business Processes." <em>Proceedings of the 8th Brazilian Symposium on Information Systems,
São Paulo, 2012</em>. SBC, 2012,  
pp.228-239.