1. Self-adaptive software: Landscape and research challenges;Salehie;ACM Trans. Autonom. Adapt. Syst.,2009
2. Software engineering for self-adaptive systems: a second research roadmap;De Lemos,2013
3. Self-adaptive software needs quantitative verification at runtime;Calinescu;Commun. ACM,2012
4. Principles of Model Checking;Baier,2008
5. A brief account of runtime verification;Leucker;J. Logic Algebr. Programm.,2009