[김주성] The Need of a Timing Model for the AUTOSAR software standard