Neue Vorlesung im Wintersemester: Methoden zum Entwurf zuverlässiger Systeme