Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems