Formal Specification of ADACOR Holonic Control System: Coordination Models | IEEE Conference Publication | IEEE Xplore