Robinson, W. Extended OCL for Goal Monitoring. eceasst 2007, 9.