A methodology for timing model characterization for statistical static timing analysis | IEEE Conference Publication | IEEE Xplore