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