www.prismmodelchecker.org
[Sal18] Maria Salama. Architectural Stability Of Self-Adaptive Software Systems. Ph.D. thesis, University of Birmingham. 2018. [Studies architectural stability of self-adaptive software systems, including trade-off analysis using PRISM-games.]
Links: [Google] [Google Scholar]

Publications