Reduced models for efficient CCS verification