25 years of model checking. History, achievements, perspectives
scientific article; zbMATH DE number 5297022