Rigorous engineering of fault-tolerant systems / ed. M. Butler, 2006 r=on-line. - Текст : электронный.
Formal methods and software engineering : 9th International conference on formal engineering methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007: proceedings / ed. M. Butler [et al.], 2007 r=on-line. - Текст : электронный.
Methods, models and tools for fault tolerance / ed. M. Butler, 2009 r=on-line. - Текст : электронный.