1. A. Awad, G. Decker, M. Weske, Efficient compliance checking using bpmn-q and temporal logic, in: BPM, 2008, 326–341.
2. A. Awad, S. Smirnov, M. Weske, Towards resolving compliance violations in business process models, in: Proceedings of the Second International Workshop on Governance, Risk and Compliance—Applications in Information Systems, Amsterdam, The Netherlands, 2009.
3. Visually specifying compliance rules and explaining their violations for business processes;Awad;J. Vis. Lang. Comput.,2011
4. Modeling and analysis of business process compliance;Becker,2011
5. Diagnosing correctness of semantic workflow models;Borrego;Data Knowl. Eng.,2013