R. s\.enas, P. Curzon, J. Back, и A. Blandford. Interactive Systems. Design, Specification, and Verification, 4323, Springer London, Heidelberg, The original publication is available at www.springerlink.com.(2007)
R. s\.enas, P. Curzon, и A. Blandford. Electronic Notes in Theoretical Computer Science: Proceedings of the First International Workshop on Formal Methods for Interactive Systems (FMIS 2006), (июля 2007)
J. Back, D. Furniss, M. Hildebrandt, и 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/.(сентября 2008)