Liu, Si, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, and José Meseguer. “Quantitative Analysis of Consistency in NoSQL Key-Value Stores”. Leibniz Transactions on Embedded Systems 4, no. 1 (February 28, 2017): 03:1–03:26. Accessed June 6, 2023. https://ojs.dagstuhl.de/index.php/lites/article/view/LITES-v004-i001-a003.