publicações selecionadas artigo académico Refinement of Software Architectures by Recursive Model Transformations,. Computational Methods in Applied Sciences. 2006