Hervé Chang: Négociation de contrats dans les systèmes à composants logiciels hiérarchiques. (Contract negotiation for hierarchical component-based software systems). University of Nice Sophia Antipolis, France 2007