Rodrigo Ventura Instituto Superior Técnico Departamento de Engenharia Eletrotécnica e de Computadores ISR
Rogério Lemos University of Kent School of Computing Assuring Dependability in Architecture-based Adaptive Systems