Philippe Collet Alain Ozanne Nicolas Rivierre Enforcing Different Contracts in Hierarchical Component-Based Systems. 50-65 2006 conf/soco/2006 Software Composition http://dx.doi.org/10.1007/11821946_4 db/conf/soco/sc2006.html#ColletOR06