Micro-preemption synthesis: an enabling mechanism for multi-task VLSI systems | IEEE Conference Publication | IEEE Xplore