@article {DBLP:journals/scp/MadeiraNBM16,
	title = {A method for rigorous design of reconfigurable systems},
	journal = {Sci. Comput. Program.},
	volume = {132},
	year = {2016},
	note = {n/a},
	pages = {50{\textendash}76},
	abstract = {n/a},
	doi = {10.1016/j.scico.2016.05.001},
	url = {http://dx.doi.org/10.1016/j.scico.2016.05.001},
	author = {Alexandre Madeira and Renato Neves and Lu{\'{\i}}s Soares Barbosa and Manuel A. Martins}
}