Bohdan Trach, Rasha Faqeh, Oleksii Oleksenko, Wojciech Ozga, Pramod Bhatotia, Christof Fetzer: T-Lease: a trusted lease primitive for distributed systems. SoCC 2020: 387-400