\(\infty\)-regular temporal logic and its model checking problem
formal verification of finite state machines
scientific article; zbMATH DE number 94458