Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl. OCL meets CTL: Towards CTL-Extended OCL Model Checking. In Jordi Cabot, Martin Gogolla, István Ráth, Edward D. Willink, editors, Proceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 30, 2013. Volume 1092 of CEUR Workshop Proceedings, pages 13-22, CEUR-WS.org, 2013. [doi]
Abstract is missing.