publicações selecionadas artigo de conferência Modelling and validating the multi-agent system behaviour for a washing machine production line 2012