Рогалев А.Н.  

Гарантированные методы исследования безопасности и живучести сложных систем