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