Title: Modellierung Von Speziellen Komponenten des Flexray-Protokolls