Oliveira N, Barbosa LS.? 2015.??Reasoning about software reconfigurations: The behavioural and structural perspectives. Sci. Comp. Programming. 110:78-103.