%0 Journal Article
%J Computer Languages, Systems & Structures
%D 2015
%T On the verification of architectural reconfigurations
%A Alejandro Sanchez
%A Alexandre Madeira
%A Luis Soares Barbosa
%P 218-237
%V 44
%> https://haslab.uminho.pt/sites/default/files/lsb/files/smb15.pdf