"On contracting different behavioral properties in component-based systems."

Philippe Collet, Alain Ozanne, Nicolas Rivierre (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics