Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau: Extra-Functional Contract Support in Components. CBSE 2004: 217-232