publicações selecionadas livro Behavioural validation of the ADACOR2self-organized holonic multi-agent manufacturing system 2015