І. Райчев, «ПРОБЛЕМИ СЕРТИФІКАЦІЇ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ АВТОМАТИЗОВАНИХ СИСТЕМ КОНТРОЛЮ», Proceedings of National Aviation University, т. 19, вип. 1, С. 23–28, лип. 2012.