Seifert, M., & Samlaus, R. (2008). Static Source Code Analysis using OCL. Electronic Communications of the EASST, 15. https://doi.org/10.14279/tuj.eceasst.15.174