Madeira A, Neves R, Barbosa L{\'?}s S, Martins MA.? 2016.??A method for rigorous design of reconfigurable systems. Sci. Comput. Program.. 132:50?76.