Games for the \(\mu\)-calculus
testifying incorrectness of a program specification
scientific article; zbMATH DE number 983251