membro de GSET - Grupo de Sistemas Embarcados e de Tempo Real Grupo de Pesquisa GSiD - Grupo de Sistemas Distribuídos Grupo de Pesquisa