On automation of \(\mathsf{CTL}^*\) verification for infinite-state systems
scientific article; zbMATH DE number 6845649