1. Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheretny, E. Sogomonyan et al. // Dordrecht: Springer Science + Business Media B. V. — 2008. — 184 p., Göessel M. New Methods of Concurrent Checking: Edition 1 / M. Göessel, V. Ocheretny, E. Sogomonyan et al. // Dordrecht: Springer Science + Business Media B. V. — 2008. — 184 p.
2. Дрозд А. В. Рабочее диагностирование безопасных информационно-управляющих систем / А. В. Дрозд, В. С. Харченко, С. Г. Антощук и др.; под ред. А. В. Дрозда и В. С. Харченко. — Харьков: Национальный аэрокосмический университет им. Н. Е. Жуковского «ХАИ», 2012. — 614 с., Drozd A. V. Rabochee diagnostirovanie bezopasnyh informacionno-upravlyayuschih sistem / A. V. Drozd, V. S. Harchenko, S. G. Antoschuk i dr.; pod red. A. V. Drozda i V. S. Harchenko. — Har'kov: Nacional'nyy aerokosmicheskiy universitet im. N. E. Zhukovskogo «HAI», 2012. — 614 s.
3. Сагалович Ю. Л. Кодовая защита оперативной памяти ЭВМ от ошибок / Ю. Л. Сага-лович // Автоматика и телемеханика. — 1991. — № 5. — С. 3–45., Sagalovich Yu. L. Kodovaya zaschita operativnoy pamyati EVM ot oshibok / Yu. L. Saga-lovich // Avtomatika i telemehanika. — 1991. — № 5. — S. 3–45.
4. Сапожников В. В. Самопроверяемые дискретные устройства / В. В. Сапожников, В. В. Сапожников. — СПб.: Энергоатомиздат, 1992. — 224 с., Sapozhnikov V. V. Samoproveryaemye diskretnye ustroystva / V. V. Sapozhnikov, V. V. Sapozhnikov. — SPb.: Energoatomizdat, 1992. — 224 s.
5. Согомонян Е. С. Самопроверяемые устройства и отказоустойчивые системы / Е. С. Согомонян, Е. В. Слабаков. — М.: Радио и связь, 1989. — 208 с., Sogomonyan E. S. Samoproveryaemye ustroystva i otkazoustoychivye sistemy / E. S. Sogomonyan, E. V. Slabakov. — M.: Radio i svyaz', 1989. — 208 s.