@misc{indiciae27fb06233bc2,
  title = {Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB},
  author = {John Witulski and Michael Leuschel},
  year = {2014},
  doi = {10.4204/eptcs.149.9},
  url = {https://arxiv.org/abs/1404.6609},
  note = {Source identifier: 1404.6609}
}