Sanchez A, Madeira A, Barbosa LS.? 2015.??On the verification of architectural reconfigurations. Computer Languages, Systems & Structures. 44:218-237.