Enforcing Different Contracts in Hierarchical Component-Based Systems
2006 ◽
pp. 50-65
◽