[GCB14] Efficient Runtime Quantitative Verification using Caching, Lookahead, and Nearly-Optimal Reconfiguration. Simos Gerasimou, Radu Calinescu and Alec Banks.. In Proc. 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'14), pages 115-124. 2014. [Presents advances in runtime quantitative verification with an implementation that uses PRISM as a model checker.]