Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning | Publicación