Theory and computation of discrete state space decompositions for hybrid systems
scientific article; zbMATH DE number 6328865