Philippe Collet, Alain Ozanne, Nicolas Rivierre: Enforcing Different Contracts in Hierarchical Component-Based Systems. SC 2006: 50-65