Hierarchical Detection of Strong Unstable Conjunctive Predicates in Large-Scale Systems | IEEE Journals & Magazine | IEEE Xplore