AUTOMATED SYNTHESIS OF DISTRIBUTED SELF-STABILIZING PROTOCOLS. - FAGHIH, FATHIYEH; BONAKDARPOUR, BORZOO; TIXEUIL, SEBASTIÉN; KULKARNI, SANDEEP (Logical Methods in Computer Science (LMCS), 2018)