Software Engineering of Fault Tolerant Systems [Hardcover]