Framework of timed trace theoretic verification revisited | IEEE Conference Publication | IEEE Xplore