Algebraic state space approach to model and control combined automata
scientific article; zbMATH DE number 7004929