Miranda, Vladimiro, INESC Porto. Instituto de Engenharia de Sistemas e Computadores do Porto and FEUP. Faculdade de Engenharia da Universidade do Porto, Portugal