1. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Comput. Sci. 23(2), 99–113 (2009). https://doi.org/10.1007/s00450-009-0057-9
2. Awad, A., Barnawi, A., Elgammal, A., Elshawi, R., Almalaise, A., Sakr, S.: Runtime detection of business process compliance violations: An approach based on anti patterns. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, New York, SAC ’15, pp. 1203–1210 (2015) https://doi.org/10.1145/2695664.2699488
3. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)
4. Bank for International Settlements: Basel III: International framework for liquidity risk measurement, standards and monitoring. https://www.bis.org/publ/bcbs188.htm Accessed 18 Jan 2019 (2010)
5. Basili, V.R., Caldiera, G., Rombach, H.D.: The goal question metric approach. In: Encyclopedia of Software Engineering. Wiley (1994)