(1)
Robinson, W. Extended OCL for Goal Monitoring. ECEASST 2007, 9.