Static analysis for state-space reductions preserving temporal logics
scientific article; zbMATH DE number 2100123