Kharchenko, Vyachelsav. "Dependability and Dependable Systems: Elements of Methodology." Radioelectronics and Computer Systems 5 (2006).