A Kleene-Schützenberger theorem for weighted timed automata
scientific article; zbMATH DE number 5865597
scientific article