Model-checking large structured Markov chains.
scientific article; zbMATH DE number 1963689
scientific article