Fernando Orejas Pilar Nivela Constraints for Behavioural Specifications. 220-245 1990 conf/adt/1990 ADT db/conf/adt/adt1990.html#OrejasN90