B
[BJS+12] Nathalie Bertrand, Thierry Jéron, Amélie Stainer, and Moez Krichen. Off-line test selection with test purposes for non-deterministic timed automata. Logical Methods in Computer Science 8(4). 2012. 
@article{lmcs8(4)-BJSK,
  author =              {Bertrand, Nathalie and J{\'e}ron, Thierry and
                         Stainer, Am{\'e}lie and Krichen, Moez},
  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},
}
List of authors