Nazareno Aguirre T. S. E. Maibaum A Logical Basis for the Specification of Reconfigurable Component-Based Systems. 37-51 2003 conf/fase/2003 FASE http://link.springer.de/link/service/series/0558/bibs/2621/26210037.htm db/conf/fase/fase2003.html#AguirreM03