1. Lecture Notes in Computer Science;T. Arendt,2010
2. Baier, C., Katoen, J.P.: Principles of model checking. MIT Press (2008)
3. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL: Towards CTL-Extended OCL Model Checking. In: Kleine Büning, H. (ed.) CSL 1995. LNCS, vol. 1092, pp. 13–22. Springer, Heidelberg (1996)
4. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: Model Checking of CTL-Extended OCL Specifications. Tech. Rep. BIG-TR-2014-2, E188 - Institut für Softwaretechnik und Interaktive Systeme; Technische Universität Wien (2014)
5. Lecture Notes in Computer Science;J.C. Bradfield,2002