1. Accorsi, R., Lowis, L., & Sato, Y. (2011). Automated Certification for Compliant Cloud-based Business Processes. Business & Information Systems Engineering, 3(3), 145–154. doi: 10.1007/s12599-011-0155-7 .
2. Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J.A., Sierra, C., & Wooldridge, M. (2007). On the logic of normative systems. In Normative multi-agent systems, 18.03. - 23.03.2007. http: //drops.dagstuhl.de/opus/volltexte/2007/921 .
3. Awad, A. (2010). A compliance management framework for business process models. PhD thesis, HPI, Potsdam University, Germany.
4. Awad, A., & Weske, M. (2009). Visualisation of compliance violations in business process models. In 5th workshop on business process intelligence (Vol. 9, pp. 182–193).
5. Awad, A., Decker, G., & Weske, M. (2008). Efficient compliance checking using BPMN-Q and temporal logic. In BPM, LNCS (pp. 326–341). Springer.