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)
C. Meinel, and H. Sack. Proc. of 6 th Int. Symposium on Representations and Methodology of Future Computing Technologies(Reed-Muller 2003), page pp. 135-144. (2003)