@article {SMB15,
	title = {On the verification of architectural reconfigurations},
	journal = {Computer Languages, Systems \& Structures},
	volume = {44},
	year = {2015},
	pages = {218-237},
	attachments = {https://haslab.uminho.pt/sites/default/files/lsb/files/smb15.pdf},
	author = {Alejandro Sanchez and Alexandre Madeira and Luis Soares Barbosa}
}