Antonio Cansado Carlos Canal Gwen Salaün Javier Cubo A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. 95-110 2009 conf/facs2/2009 FACS@FMWeek https://doi.org/10.1016/j.entcs.2010.05.006 db/journals/entcs/entcs263.html#CansadoCSC10