Techniques For Variation Aware Modeling In Static Timing Analysis Of Integrated Circuits