Irregular behaviours for probabilistic automata
scientific article; zbMATH DE number 6798764