@article{journals/entcs/LoweO06,
  title = "On Timed Models and Full Abstraction",
  author = "Gavin Lowe and Jo{\"e}l Ouaknine",
  year = "2006",
  journal = "Electr. Notes Theor. Comput. Sci.",
  pages = "497-519",
  url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/timedTesting.ps",
  volume = "155",
  doi = "10.1016/j.entcs.2005.11.070",
}