Exercises in Functional Safety