selected publications conference paper A formal validation approach for holonic control system specifications. 203-210. 2003
