Dynamic voltage scaling for multitasking real-time systems with uncertain execution time