A compositional approach to CTL\(^*\) verification
scientific article; zbMATH DE number 2153166
scientific article