InstMC Seminar - Functional Safety 2014