A Constraint-Pattern Based Method for Reachability Determination | IEEE Conference Publication | IEEE Xplore