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, 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)
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)