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