selected publications academic article A formal specification approach for holonic control systems: The ADACOR case. International Journal of Manufacturing Technology and Management. 8:37-57. 2006