Тарасенко Віталій Володимирович. Методи структурно-версійного резервування та засоби реалізації відмовостійких бортових цифрових систем управління з програмованою логікою : Дис... канд. наук: 05.13.03 - 2003.