Carlo Simon Jan Mendling Verification of Forbidden Behavior in EPCs. 233-242 2006 conf/modellierung/2006 Modellierung db/conf/modellierung/modellierung2006.html#SimonM06