Зеленков A. A. Software Reliability Control of Airborne Failure-Free Computers. Proceedings of National Aviation University 2000, 6, 164-169.