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