Modellbasierte Entwicklung funktional sicherer Hardware nach ISO 26262 (Steinbuch Series on Advances in Information Technology / Karlsruher Institut ... für Technik der Informationsverarbeitung)