@misc{indiciae139ab15aec30,
  title = {Three Variables Suffice for Real-Time Specification},
  author = {Timos Antonopoulos and Paul Hunter and Shahab Raza and James Worrell},
  year = {2015},
  url = {https://arxiv.org/abs/1408.1851},
  note = {Source identifier: 1408.1851}
}