Quartz: time-as-a-service for coordination in geo-distributed systems. - Sandeep D'Souza; Heiko Koehler; Akhilesh Joshi; Satyam Vaghani; Ragunathan (Raj) Rajkumar (SEC, 2019)