Email Record: A formal validation approach for holonic control system specifications