Verifying Preemptive Kernel Code with Preemption Control Support | IEEE Conference Publication | IEEE Xplore