Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction | IEEE Conference Publication | IEEE Xplore