Стемпковский А.Л.
Методы логического и логико-временного анализа...
Радио. Радиотехника
Актуальные проблемы моделирования в системах...
Электроника. Радиоэлектроника