Symbolically quantifying response time in stochastic models using moments and semirings
scientific article; zbMATH DE number 6904548