Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction. - Hadi Moloodi; Fathiyeh Faghih; Borzoo Bonakdarpour (SRDS, 2021)