Estágio realizado no INESC Porto e orientado pelo Eng.º Luís Filipe Teixeira ; Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2008