Mattos, et al.. A Formal Representation for Context-aware Business Processes. Elsevier BV, 2014, doi:10.1016/j.compind.2014.07.005.