1. Proc. Inst. Elect. Eng.---Seminar OSEK/VDX Open Syst. Autom. Netw. (Ref. No. 1998/523) Proc. Inst. Elect. Eng.---Seminar OSEK/VDX Open Syst. Autom. Netw. (Ref. No. 1998/523) A. Zahir P Palmieri 1998. OSEK/VDX-operating systems for automotive applications 1 118
2. Challenges in automotive software engineering
3. Software in automotive systems;Xf R.;IEEE Software,2010
4. Clarke E.M. Grumberg O. and Peled D. 1999. Model Checking MIT Press. Clarke E.M. Grumberg O. and Peled D. 1999. Model Checking MIT Press.
5. Holzmann G. J. 2004. The SPIN Model Checker - Primer and Reference Manual Addison-Wesley Publishing Company. Holzmann G. J. 2004. The SPIN Model Checker - Primer and Reference Manual Addison-Wesley Publishing Company.