Kharchenko, Vyacheslav, and Oleg Odarushchenko. Modeling Dependable Systems and Networks. Kharkiv: National Aerospace University, 2008.