J. Back, D. Furniss, M. Hildebrandt, and A. Blandford. Computer Safety, Reliability, and Security, Volume 5219, Springer Verlag, Berlin / Heidelberg, Germany, The original publication is available at www.springerlink.com. Paper presented at SAFECOMP 2008: the 27th International Conference on Computer Safety, Reliability and Security, 22-25 September 2008, Newcastle upon Tyne, UK. http://www.safecomp2008.org/.(September 2008)
R. s\.enas, P. Curzon, J. Back, and A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)