publicações selecionadas artigo de conferência A formal validation approach for holonic control system specifications 2003
