Checking temporal duration properties of timed automata.
scientific article; zbMATH DE number 2077747