Dong, J.S., Hao, P., Qin, S., Zhang, X., "The Semantics and Tool Support of OZTA", , 2005