Неткачова Катерина Ігорівна. Методи та інформаційна технологія оцінювання функціональної безпеки інформаційно-керуючих систем із використанням формальних нотацій.- Дисертація канд. техн. наук: 05.13.06, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т". - Х., 2013.- 200 с. : рис., табл.