A new model for model checking: cycle-weighted Kripke structure
scientific article; zbMATH DE number 6183807