Robinson, W. (2007). Extended OCL for Goal Monitoring. Electronic Communications of the EASST, 9. https://doi.org/10.14279/tuj.eceasst.9.105