"Compliant Business Process Design Using Refinement Layers."

Daniel Schleicher et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics