publicações selecionadas artigo de conferência Formal specification of ADACOR holonic control system: Coordination models 2005
