1. Enabling Flexibility in Process-Aware Information Systems – Challenges, Methods, Technologies;Reichert,2012
2. W.M.P. van der Aalst, Verification of workflow nets, in: ICATPN'97, Lecture Notes in Computer Science, vol. 1248, Springer, Berlin Heidelberg, Germany, 1997, pp. 407–426.
3. L.T. Ly, S. Rinderle, P. Dadam, Semantic correctness in adaptive process management systems, in: BPM'06, Lecture Notes in Computer Science, vol. 4102, 2006, pp. 193–208.
4. A. Awad, G. Decker, M. Weske, Efficient compliance checking using BPMN-Q and temporal logic, in: BPM'08, Lecture Notes in Computer Science, vol. 5240, Springer, Berlin Heidelberg, Germany, 2008, pp. 326–341.
5. G. Governatori, S. Sadiq, The journey to business process compliance, in: Handbook of Research on BPM, IGI Global Hershey, PA, USA, 2009, pp. 426–454.