Статья Универсальная модель последовательностных схем в САПР Зыков А. Г., Немолочнов О. Ф., Поляков В. И.