Enhancing probabilistic model checking with ontologies
scientific article; zbMATH DE number 7455772
scientific article