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