QPLEX: A Computational Modeling and Analysis Methodology for Stochastic Systems Dieker, Antonius B. Innbundet / 2024 / Engelsk