Crash-Resilient Decentralized Synchronous Runtime Verification. - Ritam Ganguly; Shokufeh Kazemloo; Borzoo Bonakdarpour (IEEE Trans. Dependable Secur. Comput., 2024)