Bisimulation minimization and symbolic model checking
scientific article; zbMATH DE number 1803024