Zaslat SMS: Анализ поведения электронных цифровых устройств на основе графа достижимости с переменной структурой. (Часть 1)