"Koren, Israel" Fault-Tolerant Systems - \\200800ENGGPSX - Morgan Kaufmann Publishers 2008 Madras - 378p. includes index and biblioraphy