A design architecture for OSEK/VDX-based vehicular application specific embedded operating systems | IEEE Conference Publication | IEEE Xplore