1. E. Kotsovinos, Virtualization: blessing or curse? Commun. ACM 54(1), 61–65 (2011)
2. J.O. Kephart, D.M. Chessc, The vision of autonomic computing. IEEE Comput. 36(1), 41–50 (2003)
3. J.M. Rushby, Model checking and other ways of automating formal methods, in Position paper for panel on Model Checking for Concurrent Programs (Software Quality Week, San Francisco, 1995)
4. D. Garlan, Software architecture: a roadmap, in Proceedings of the Conference on the Future of Software Engineering, pp. 91–101 (2000)
5. G. Huang, H. Mei, F.-Q. Yang, Runtime recovery and manipulation of software architecture of component-based systems. Autom. Soft. Eng. 13(2), 257–281 (2006)