Antonio Filieri, Giordano Tamburrelli: Probabilistic Verification at Runtime for Self-Adaptive Systems. Assurances for Self-Adaptive Systems 2013: 30-59