Software engineering of fault tolerant systems - Pelliccione, P. [ (Patrizio)] (Series on software engineering and knowledge engineering, 2007)