Detecting temporal logic predicates on the happened-before model | IEEE Conference Publication | IEEE Xplore