Juerg Kohlas, Bertrand Meyer, Andr� Schiper Dependable Systems: Software, Computing, Networks - 2006 ISBN: 978-3-540-36823-6 Subjects--Topical Terms: Operating SystemsSoftware EngineeringSoftware Engineering/Programming and Operating SystemsSpecial Purpose and Application-Based SystemsSystem Performance and EvaluationComputer Science