@techreport{TUW-229618, author = {Bill, Robert and Gabmeyer, Sebastian and Kaufmann, Petra and Seidl, Martina}, title = {Model Checking of CTL-Extended OCL Specifications}, institution = {E194 - Institut f{\"u}r Information Systems Engineering; Technische Universit{\"a}t Wien}, year = {2014}, number = {BIG-TR-2014-2}, url = {http://publik.tuwien.ac.at/files/PubDat_229618.pdf}, keywords = {Model Checking, Model based engineering, development, verification, OCL} }