Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services. - Kumar Shivam; Vishnu Paladugu; Yanhong A. Liu (ApPLIED@PODC, 2023)