Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors