basic concepts and taxonomy of dependable and secure computing .
Understanding fault-tolerant distributed systems