@article{article, title = {{Z2SAL: a translation-based model checker for Z}}, url = {{}}, year = {{2009}}, month = {{1}}, author = {{Derrick J and North S and Simons AJH}}, journal = {{Formal Aspects of Computing}}, pages = {{1-29}}, note = {{Accessed on 2025/04/08}}}