Abstract reduction in directed model checking CCS processes