Temporal property preservation under the refinement of CSP-OZ specifications. - Azman Bin Bujang Masli (2011)