[1]
W. Robinson, “Extended OCL for Goal Monitoring”, ECEASST, vol. 9, Nov. 2007.