Mahadevan, N. ., Dubey, A. ., Balasubramanian, D. ., & Karsai, G. . (2013). Deliberative, search-based mitigation strategies for model-based software health management. Innovations in Systems and Software Engineering, 1–26.