Liu, S., J. Ganhotra, M. R. Rahman, S. Nguyen, I. Gupta, and J. Meseguer. “Quantitative Analysis of Consistency in NoSQL Key-Value Stores”. Leibniz Transactions on Embedded Systems, vol. 4, no. 1, Feb. 2017, pp. 03:1-03:26, doi:10.4230/LITES-v004-i001-a003.