Качур Світлана Олександрівна. Автоматизація процесів керування реакторними установками на основі мереж Петрі.- Дисертація д-ра техн. наук: 05.13.07, Харк. нац. ун-т радіоелектрон. - Х., 2013.- 390 с.