publicações selecionadas artigo de conferência A language for behavioural modelling of architectural patterns 2011