A formal specification approach for holonic control systems: The ADACOR case Academic Article uri icon