Generation of optimal finite test suites for timed systems | Publicación