Жигулин М.В. Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореф. дис. .. канд. техн. наук: 05.13.01 / М. В. Жигулин, 2012. - 19 с. - Текст : непосредственный.