Timed trace theoretic verification using partial order reduction | IEEE Conference Publication | IEEE Xplore