SetExp: a method of transformation of timed automata into finite state automata
scientific article; zbMATH DE number 5809954