Г. Мірських and Ю. Реутська, “Comparative analysis of methods for testing software of radio-electronic equipment”, RADAP, no. 44, pp. 58-67, Mar. 2011.