Repository for the lecture "Safety Analysis"