Towards the design of fault-tolerant distributed real-time systems - Klobedanz, Kay (Universitätsbibliothek, 2014)