Anupam Datta, Sidharth Choudhury, Anupam Basu: Using Randomized Rounding to Satisfy Timing Constraints of Real-Time Preemptive Tasks. ASP-DAC/VLSI Design 2002: 705-710