@misc{indiciae4e4201c2112b,
  title = {Verification of interlocking systems using statistical model checking},
  author = {Quentin Cappart and Christophe Limbree and Pierre Schaus and Jean Quilbeuf and Louis-Marie Traonouez and Axel Legay},
  year = {2017},
  doi = {10.1109/hase.2017.10},
  url = {https://arxiv.org/abs/1605.02529},
  note = {Source identifier: 1605.02529}
}