Герасименко Костянтин Євгенович. Методи функціонального тестування критичних систем керування.- Дисертація канд. техн. наук: 05.13.05, Харк. нац. ун-т радіоелектрон. - Х., 2013.- 200 с. : рис.