1. Object constraint language, version 2.2. Tech. rep., Object Management Group, OMG (2010). http://www.omg.org/spec/OCL/2.2 . OMG Document Number: formal/2010-02-01
2. Van der Aalst, W., Van Hee, K.: Business process redesign: a Petri-net-based approach. Comput. Ind. 29(1–2), 15–26 (1996)
3. Aier, S., Fischer, C.: Criteria of progress for information systems design theories. Inf. Syst. E Bus. Manag. 9(1), 133–172 (2011)
4. Ballou, D.P., Pazer, H.L.: Modeling data and process quality in multi-input, multi-output information systems. Manag. Sci. 31(2), 150–162 (1985). http://www.jstor.org/stable/2631512
5. Barber, K., Graser, T., Holt, J.: Enabling iterative software architecture derivation using early non-functional property evaluation. In: Proceedings of the 17th IEEE International conference on Automated Software Engineering (ASE), pp. 172–182 (2002)