Safety-critical automotive electronic systems must satisfy hard real-time constraints for reliability and safety. AUTOSAR(AUTomotive Open System ARchitecture) standard supports timing extensions to express event timings, latency, and synchronization constraints. This paper provides timed automata templates for these timing constraints. We demonstrate how to formally verify automotive systems with the templates. We also describe translation from timed automata templates to AUTOSAR timing specifications. Furthermore, we conduct a case study on car cruise control system to show applicability of our approach.