Time/logic variables used for digital hazard search | IEEE Conference Publication | IEEE Xplore