Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips - Kirchner (Springer Fachmedien Wiesbaden, 2022)