Phantom: a serializing compiler for multitasking embedded software | IEEE Conference Publication | IEEE Xplore