Text this: Temporal Property Preservation Under Z Refinement in CSP-OZ Specifications