Modeling OSEK/VDX OS Requirements in C | IEEE Conference Publication | IEEE Xplore