Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems. - Ly, Linh Thao; Rinderle-Ma, Stefanie; Dadam, Peter (2010)