, Instituto de Engenharia de Sistemas e Computadores (INESC), Investigação e Desenvolvimento. Lisboa – Portugal.