Formal specification of ADACOR holonic control system: coordination models - Leitão, Paulo (2010)
Indexado ISI