OSEK/VDX history and structure | IET Conference Publication | IEEE Xplore