ADAM-CS: Advanced Asynchronous Monotonic Counter Service. - André Martin; Cong Lian; Franz Gregor; Robert Krahn; Valerio Schiavoni; Pascal Felber; Christof Fetzer (DSN, 2021)