@misc{indiciaea91839562546,
  title = {Lipschitz Robustness of Timed I/O Systems},
  author = {Thomas A. Henzinger and Jan Otop and Roopsha Samanta},
  year = {2015},
  url = {https://arxiv.org/abs/1506.01233},
  note = {Source identifier: 1506.01233}
}