Tarasyuk, Olga M., Vyacheslav S. Kharchenko, and Vladimir V. Sklyar. "Safety of Airspace Technique and Reliability of Computer Systems." Aviation and Space Technique and Technology  (2004).