Using Runtime Quantitative Verification to Provide Assurance Evidence for Self-Adaptive Software - Advances, Applications and Research Challenges.
Radu CalinescuSimos GerasimouKenneth JohnsonColin PatersonPublished in: Software Engineering for Self-Adaptive Systems (2013)