"Dependable Systems: Software" - читать интересную книгу автора (Jürg Kohlas, Bertrand Meyer, André Schiper)