Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification | IEEE Conference Publication | IEEE Xplore