Reduced Models for Efficient CCS Verification