@inproceedings{inproceedings, title = {{Viewpoint Consistency in Z and LOTOS: A Case Study.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/3-540-63533-5 }}, year = {{1997}}, month = {{1}}, author = {{Boiten EA and Bowman H and Derrick J and Steen M}}, volume = {{1313}}, journal = {{FME}}, pages = {{644-664}}, note = {{Accessed on 2025/06/02}}}