Efficient computation and representation of large reachability sets for composed automata
scientific article; zbMATH DE number 1783545