@article{article, title = {{Calculating upward and downward simulations of state-based specifications}}, url = {{}}, year = {{1999}}, month = {{9}}, author = {{Derrick J and Boiten E}}, volume = {{41}}, journal = {{INFORM SOFTWARE TECH}}, issue = {{13}}, pages = {{917-923}}, note = {{Accessed on 2025/08/15}}}