SMS: Автоматизация конструирования логических структур на базе семиотического моделирования; Наукоемкие технологии; № 8