@misc{indiciae8ad40d366080,
  title = {Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology},
  author = {Omar I. Al-Bataineh and Mark Reynolds},
  year = {2018},
  url = {https://arxiv.org/abs/1201.3416},
  note = {Source identifier: 1201.3416}
}