publicações selecionadas livro Instantiating the PERFORM system architecture for industrial case studies 2017