@misc{indiciae9b133f6949d0,
  title = {Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms},
  author = {Annu John and Igor Konnov and Ulrich Schmid and Helmut Veith and Josef Widder},
  year = {2012},
  url = {https://arxiv.org/abs/1210.3839},
  note = {Source identifier: 1210.3839}
}