Partial-order methods for model checking: from linear time to branching time | IEEE Conference Publication | IEEE Xplore