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