Автоматизация проектирования сложных систем с многократным резервированием - Вайрадян А. С. Акоп Семенович (Москва, Машиностроение, 1983)