Françoise Tort Michel Bidoit Rolf Hennicker Martin Wirsing Correct Realization of Interface Constraints with OCL. 399-415 1999 conf/uml/1999 UML db/conf/uml/uml1999.html#TortBHW99 http://dx.doi.org/10.1007/3-540-46852-8_29