SPCC: a security policy compliance checker plug-in for YAWL. (2018)