Performance analysis of probabilistic timed automata using digital clocks
scientific article; zbMATH DE number 5073688
scientific article