Journal of Automata, Languages and Combinatorics

@article{jalc160104,
  author  = {Ariel Stulman},
  title   = {Generating Optimal Distinguishing Sequences for Testing Timed Protocols},
  journal = jalc,
  year    = 2011,
  volume  = 16,
  number  = {1},
  pages   = {39--54}
}