H. Xiong, P. Curzon, S. Tahar, and A. Blandford. Formal Methods in System Design, 30 (2):
83--116(April 2007)The original publication is available at www.springerlink.com.
H. Xiong, P. Curzon, S. Tahar, and A. Blandford. Integrated Formal Methods, 2335, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2002)