Markovic, et al.. Modeling and Enforcement of Business Policies on Process Models with Maestro. Springer Berlin Heidelberg, 2009, doi:10.1007/978-3-642-02121-3_73.