@misc{indiciae8aff226b83d3,
  title = {Off-line test selection with test purposes for non-deterministic timed automata},
  author = {Nathalie Bertrand and Thierry Jéron and Amélie Stainer and Moez Krichen},
  year = {2012},
  doi = {10.2168/lmcs-8(4:8)2012},
  url = {https://arxiv.org/abs/1207.6267},
  note = {Source identifier: 1207.6267}
}