Alexander Förster Gregor Engels Tim Schattkowsky Ragnhild Van Der Straeten Verification of Business Process Quality Constraints Based on Visual Process Patterns. 197-208 2007 conf/tase/2007 TASE http://doi.ieeecomputersociety.org/10.1109/TASE.2007.56 db/conf/tase/tase2007.html#ForsterESS07