OSEK/VDX-operating systems for automotive applications | IET Conference Publication | IEEE Xplore