A Gaussian mixture model for statistical timing analysis | IEEE Conference Publication | IEEE Xplore