publicações selecionadas artigo de revista A formal specification approach for holonic control systems: The ADACOR case. International Journal of Manufacturing Technology and Management. 2006
