Para 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms - Konnov, Igor; Lazić, Marijana; Veith, Helmut; Widder, Josef (Formal Methods in System Design: An International Journal, 2017)