publicações selecionadas livro Formal specification of a self-sustainable holonic system for smart electrical micro-grids 2017
