A formal validation approach for holonic control system specifications - Leitão, Paulo (2010)
Indexado ISI