Alexandre David Kim Guldstrand Larsen Shuhao Li Brian Nielsen Cooperative Testing of Timed Systems. 79-92 2008 220 Electr. Notes Theor. Comput. Sci. 1 http://dx.doi.org/10.1016/j.entcs.2008.11.007 db/journals/entcs/entcs220.html#DavidLLN08