Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. Model Checking of CTL-Extended OCL Specifications. In Benoît Combemale, David J. Pearce, Olivier Barais, Jurgen J. Vinju, editors, Software Language Engineering - 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings. Volume 8706 of Lecture Notes in Computer Science, pages 221-240, Springer, 2014. [doi]
Abstract is missing.