Adjustment-Based Modeling for Timing Analysis Under Variability | IEEE Journals & Magazine | IEEE Xplore