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.
R. s\.enas, P. Curzon, and A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (July 2007)