Title: Entwicklung Von Methoden Zur Abstrakten Modellierung Von Automotive Systems-On-Chips