A. Blandford, J. Gow, G. Buchanan, C. Warwick, and J. Rimmer. Human-Computer Interaction ? INTERACT 2007, 4662, Springer Berlin, Heidelberg, The original publication is available at www.springerlink.com.(2007)
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.