On clock-aware LTL parameter synthesis of timed automata
scientific article; zbMATH DE number 6895328
scientific article