publicações selecionadas artigo académico On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015
