@article{article, title = {{Temporal-logic property preservation under Z refinement}}, url = {{}}, year = {{2011}}, month = {{1}}, author = {{Derrick J and Smith G}}, journal = {{Formal Aspects of Computing}}, pages = {{1-24}}, note = {{Accessed on 2025/07/25}}}