Using randomized rounding to satisfy timing constraints of real-time preemptive tasks | IEEE Conference Publication | IEEE Xplore