Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract).
['Agnieszka M. Zbrzezny', 'Andrzej Zbrzezny']
Simple Bounded MTL Model Checking for Discrete Timed Automata (extended abstract).