@misc{indiciae486413e12077,
  title = {Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders},
  author = {Vivek Nigam and Carolyn Talcott and Abraão Aires Urquiza},
  year = {2016},
  url = {https://arxiv.org/abs/1605.08563},
  note = {Source identifier: 1605.08563}
}