И.Б.Бурдонов, А.С.Косачев. Симуляция систем с отказами и разрушением. 5-ый Международный симпозиум по компьютерным наукам в России. Семинар «Семантика, спецификация и верификация программ: теория и приложения».Казань 2010, стр. 43-48. 6 стр. doc, pdf, ppt