Crash-Resilient Decentralized Synchronous Runtime Verification. - Shokoufeh Kazemlou; Borzoo Bonakdarpour (SRDS, 2018)