Rafael Accorsi, Lutz Lowis, Yoshinori Sato: Automated Certification for Compliant Cloud-based Business Processes. Bus. Inf. Syst. Eng. 3(3): 145-154 (2011)