Многоэтапный анализ архитектурной надежности и синтез отказоустойчивого программного обеспечения сложных систем. Александр КузнецовПрочая образовательная литература.