1. Altran Technologies, 2005. FlexRay communications system protocols specification V.3.0.1.
2. Enabling scheduling analysis for AUTOSAR systems;Anssi,2011
3. Affordable X-By-Wire technology based on an innovative, scalable E/E platform-concept;Armbruster,2006
4. Design and verification of hardware building blocks for high-speed and fault-tolerant in-vehicle networks;Baronti;IEEE Trans. Ind. Electron.,2011
5. A Tutorial on UPPAAL;Behrmann,2004