QPLEX : a Computational Modeling and Analysis Methodology for Stochastic Systems - Dieker, Antonius B.; Hackman, Steven T. (Cham Springer, 2025)