Model-checking timed automata with deadlines with Uppaal
scientific article; zbMATH DE number 6148362