Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification | IEEE Conference Publication | IEEE Xplore