Jin Song Dong Ping Hao Shengchao Qin Xian Zhang The Semantics and Tool Support of OZTA. 66-80 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_6 db/conf/icfem/icfem2005.html#DongHQZ05