BMC-Based Temperature-Aware SBST for Worst-Case Delay Fault Testing Under High Temperature | IEEE Journals & Magazine | IEEE Xplore