@inproceedings{TUW-221651, author = {Bill, Robert and Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina}, title = {OCL meets CTL: Towards CTL-Extended OCL Model Checking}, booktitle = {Proceedings of the MODELS 2013 OCL Workshop}, year = {2013}, pages = {13--22}, journal = {CEUR Workshop Proceedings}, volume = {Vol-1092}, url = {http://publik.tuwien.ac.at/files/PubDat_221651.pdf}, issn = {1613-0073}, note = {Vortrag: 13th International Workshop on OCL, Model Constraint and Query Languages (OCL 2013), Miami, USA; 2013-09-30} }