Title: Exercises in Functional Safety