A layer model for the systematic test of time-triggered automotive communication systems | IEEE Conference Publication | IEEE Xplore