publicações selecionadas capítulo de livro An approach to the formal specification of holonic control systems 2003
