On stubborn sets in the verification of linear time temporal properties
scientific article; zbMATH DE number 2168294
scientific article