Rogério Lemos University of Kent School of Computing Assuring Dependability in Architecture-based Adaptive Systems
Rolando Martins Faculdade de Ciências da Universidade do Porto Departamento de Ciência de Computadores INESC TEC
