Laurent Doyen Thomas A. Henzinger Barbara Jobstmann Tatjana Petrov Interface theories with component reuse. 79-88 2008 EMSOFT http://doi.acm.org/10.1145/1450058.1450070 conf/emsoft/2008 db/conf/emsoft/emsoft2008.html#DoyenHJP08