І. Райчев, “The problems of certification procedure of the software of automated systems of monitoring”, Proceedings of National Aviation University, vol. 19, no. 1, pp. 23–28, July 2012.