ZooFence: Principled Service Partitioning and Application to the ZooKeeper Coordination Service | IEEE Conference Publication | IEEE Xplore