Including Power Supply Variations into Static Timing Analysis: Metodology and Flow