Kelsen, P. et al. 2007. Specifying Executable Platform-Independent Models using OCL. Electronic Communications of the EASST. 9, (Nov. 2007). DOI:https://doi.org/10.14279/tuj.eceasst.9.101.