The OASIS Kernel: A Framework for High Dependability Real-Time Systems | IEEE Conference Publication | IEEE Xplore