Коновалов И.В., Коновалов В.Н., Белов А.А. Подход к автоматизации логического синтеза асинхронных конечных автоматов / Труды научно-практической конференции «Управление созданием и развитием систем, сетей и устройств телекоммуникаций» (Санкт-Петербург, 2008). СПб.: НОЦ "Перспектива", 2008. С. 248-255.