Slicing CSP-OZ Specifications for Verification ⋆