Consistency-Based Service Level Agreements for Cloud Storage (2013)[pdf]
microsoft.com
microsoft.com
There's also a complicated system of a more explicit tradeoff between consistency and availability in the paper, which I think is super interesting because it makes the tradeoff between the two apparent and easily changeable.