Структурное проектирование надежных программ встроенных ЭВМ - Штрик А. А. (Ленинград, Машиностроение, 1989)