Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes - Christian Storm (Springer Vieweg)