Stochastic Analysis of CAN-based Real-time Automotive Systems