@misc{indiciaee0f95ed93c68,
  title = {Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service},
  author = {Lingzhi Ouyang and Yu Huang and Binyu Huang and Xiaoxing Ma},
  year = {2023},
  url = {https://arxiv.org/abs/2302.02703},
  note = {Source identifier: 2302.02703}
}