Dong, J., Hao, P., Zhang, X., & Qin, S. (2006). HighSpec: a Tool for Building and Checking OZTA Models. In 28th International Conference on Software Engineering, 20-28 May 2006, Shanghai, China ; proceedings (775-778). https://doi.org/10.1145/1134409