Jin Song Dong Ping Hao Xian Zhang Shengchao Qin HighSpec: a tool for building and checking OZTA models. 775-778 2006 conf/icse/2006 ICSE http://doi.acm.org/10.1145/1134409 db/conf/icse/icse2006.html#DongHZQ06