І. Райчев, “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, Jul. 2012.