Enviar por SMS: A method for rigorous design of reconfigurable systems