1. Functional safety of electrical/electronic/programmable electronic safety-related systems,
http://www.iec.ch/functionalsafety/
2. CENELEC: European Committee for Electro-technical Standardization,
http://www.iec.ch/functionalsafety/
3. Hilderman, V., Baghi, T.: Avionics certification: a complete guide to DO-178 (software), DO-254 (hardware). Avionics Communications (2007)
4. ISO - International Organization for Standardization, ISO 26262 Road vehicles Functional safety Part 10: Guideline on ISO 26262 (2012)
5. Mathworks, Inc. Simullink Design Verifier 1: User’s Guide (2012)