Z User Studio: An Integrated Support Tool for Z Specifications. - Huaikou Miao; Ling Liu; Chuanjiang Yu; Jijun Ming; Li Li (APSEC, 2001)