publicações selecionadas artigo de conferência Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. International Journal on Software Tools for Technology Transfer. 2014