Sound verification procedures for temporal properties of infinite-state systems
scientific article; zbMATH DE number 7498187