Modeling Automotive Intercontroller Communication