CS408E - Introduction to safety