Моделирование гарантоспособных систем и сетей [Текст] : лекцион. материал / В. С. Харченко [и др.] ; ред. В. С. Харченко ; Национальный аэрокосмический ун-т им. Н.Е.Жуковского "ХАИ", Проект TEMPUS-MASTAC (JEP_26008_2005) MSc and PhD Studies in Aerospace Critical Computing. - Х. : [б. и.], 2009. - 336 с.: рис., табл. - (TEMPUS. Education and Culture. PhD). - Библиогр.: с. 314-327. - ISBN 978-966-662-190-3