@article{MK2012LMCS,
  author    = {Nathalie Bertrand and Thierry Jeron and Amelie
                  Stainer and Moez Krichen},
  title     = {Off-line test selection with test purposes for
                  non-deterministic timed automata},
  journal   = {Logical Methods in Computer Science},
  volume    = {8},
  number    = {4},
  year      = {2012},
  doi       = {10.2168/LMCS-8(4:8)2012},
}