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