Disjunctive Transition Relation Decomposition for Efficient Reachability Analysis | IEEE Conference Publication | IEEE Xplore