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