Compliant Business Process Design Using Refinement Layers · Study