@misc{indiciae256bc7a2fe4e,
  title = {Formally Checking Large Data Sets in the Railways},
  author = {Thierry Lecomte and Lilian Burdy and Michael Leuschel},
  year = {2012},
  url = {https://arxiv.org/abs/1210.6815},
  note = {Source identifier: 1210.6815}
}