Малиновський М. Л. Методи та засоби проектування технічних і програмних компонентів безпечних пліс-контролерів з паралельною архітектурою: автореф. дис. ... д-ра техн. наук : 05.13.05 / М. Л. Малиновський ; Нац. техн. ун-т "Харк. політехн. ін-т". — Х., 2010. — 36 с. — укp.
Запропоновано моделі та виділено класи безпечних автоматів. Визначено табличні та графічні методи завдання безпечних автоматів. Висвітлено методи синтезу безпечних автоматів з функціональною деградацією. Досліджено мову та технологію програмування безпечних програмованих логічних інтегральних схем (ПЛІС)-контролерів. Надано формальний опис алфавіту та синтаксису даної мови THDL. Встановлено процедуру й інструментальні засоби програмування безпечних ПЛІС-контролерів. Розроблено та впроваджено мікроелектронну систему централізації на базі безпечних ПЛІС-контролерів з паралельною архітектурою для залізниць та метрополітенів.