Mattos, Talita, Flávia Maria Santoro, Kate Revoredo, and Vanessa Tavares Nunes. "Formalizando Contexto em Processos de Negócio." Anais do VIII Simpósio Brasileiro de Sistemas de Informação, São Paulo, 2012. SBC, 2012, pp.228-239.