Model checking of open interval Markov chains
scientific article; zbMATH DE number 6899313