Timing analysis with nonseparable statistical and deterministic variationsVladimir ZolotovDebjit Sinhaet al.2012DAC 2012