Counterexample-guided SMT-driven optimal buffer sizing | IEEE Conference Publication | IEEE Xplore