@misc{indiciae9a4b7e84e6d4,
  title = {A Language Support for Exhaustive Fault-Injection in Message-Passing System Models},
  author = {Masaya Suzuki and Takuo Watanabe},
  year = {2014},
  doi = {10.4204/eptcs.168.4},
  url = {https://arxiv.org/abs/1411.3793},
  note = {Source identifier: 1411.3793}
}