Jing Dong Paulo S. C. Alencar Donald D. Cowan A Formal Framework for Design Component Contracts. 53-60 2003 conf/iri/2003 IRI db/conf/iri/iri2003.html#DongAC03