[Studinfo] Vorlesung Design of Reliable and Dependable Systems