Das Buch "Dependability of Critical Computer Systems" von P.G. Bishop befasst sich mit der Zuverlässigkeit und Sicherheit von Computersystemen, die in kritischen Anwendungen eingesetzt werden, wie etwa in der Luftfahrt, im...