Modal and guarded characterisation theorems over finite transition systems
scientific article; zbMATH DE number 2116239