Modellbasierte Entwicklung funktional sicherer Hardware nach ISO 26262 - Adler, Nico (KIT Scientific Publishing, 2015)