Бобров, А. В.     Автоматизация моделирования и анализа многократных релейно-контактных схем [Текст] / А.В. Бобров, И.А. Головинский, С.В. Карташов // Известия РАН.Теория и системы управления  : научный журнал / РАН. Известия АН. — С. 81-97.