Predictable Communication and Migration in the Quest-V Separation Kernel | IEEE Conference Publication | IEEE Xplore