Ernesto Pimentel Integración de software: métodos formales para coordinar y adaptar componentes y servicios. 2009 CIbSE conf/cibse/2009 db/conf/cibse/cibse2009.html#Pimentel09