Kelsen, Pierre, Elke Pulvermueller, and Christian Glodt. “Specifying Executable Platform-Independent Models Using OCL”. Electronic Communications of the EASST 9 (November 23, 2007). Accessed November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/1443.