%0 Journal Article
%J Sci. Comput. Program.
%D 2016
%T A method for rigorous design of reconfigurable systems
%A Alexandre Madeira
%A Renato Neves
%A Lu{\'ı}s Soares Barbosa
%A Manuel A. Martins
%P 50–76
%R 10.1016/j.scico.2016.05.001
%U http://dx.doi.org/10.1016/j.scico.2016.05.001
%V 132
%X n/a
%Z n/a