Автоматизация проектирования и испытаний сложных систем - Бургонский А. С.; Покровский Ю. П. (Труды ЛИТМО)