@misc{indiciaef9d86b488112,
  title = {Stop It, and Be Stubborn!},
  author = {Antti Valmari},
  year = {2015},
  doi = {10.1109/acsd.2015.14},
  url = {https://arxiv.org/abs/1504.02587},
  note = {Source identifier: 1504.02587}
}