@misc{indiciae99980b2f8945,
  title = {Control strategies for off-line testing of timed systems},
  author = {Léo Henry and Thierry Jéron and Nicolas Markey},
  year = {2018},
  url = {https://arxiv.org/abs/1804.11234},
  note = {Source identifier: 1804.11234}
}