@misc{indiciae9f1ac5204ca4,
  title = {Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction},
  author = {Xiaosong Gu and Wei Cao and Yicong Zhu and Xuan Song and Yu Huang and Xiaoxing Ma},
  year = {2022},
  url = {https://arxiv.org/abs/2202.11385},
  note = {Source identifier: 2202.11385}
}