Селяков, Е. Б.     Моделирование требований к техническим системам методами математической логики [Текст] / Е.Б. Селяков // Автоматика. Автоматизація. Електротехнічні комплекси та системи. — Херсон : Херсонський національний технічний університет, 2009. — № 2. — С. 12-17.