Model Checking: From Tools to Theory
scientific article; zbMATH DE number 5301045