Artigo Acesso restrito (UMinho) Revisto por pares

On the verification of architectural reconfigurations