Model checking \(\omega \)-regular properties with decoupled search
scientific article; zbMATH DE number 7498190