Text this: Анализ поведения электронных цифровых устройств на основе графа достижимости с переменной структурой. (Часть 1); Приборы и системы. Управление, контроль, диагностика; № 9