Pātuhitia tēnei: ENTWICKLUNG VON METHODEN ZUR ABSTRAKTEN MODELLIERUNG VON AUTOMOTIVE SYSTEMS-ON-CHIPS