[CLGS14] Javier Cámara, Antónia Lopes, David Garlan and Bradley Schmerl. Impact Models for Architecture-Based Self-adaptive Systems. In Proc. International Conference on Formal Aspects of Component Software (FACS'14), pages 89-107, Springer. 2014. [Proposes techniques based on probabilistic impact model for self-adaptive systems, using PRISM an underlying solver.]
Notes: The original publication is available at link.springer.com.