Quantifying error: Extending static timing analysis with probabilistic transitions | IEEE Conference Publication | IEEE Xplore