1. Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pp. 13–23, May 2015
2. Bergmayr, A., Rossini, A., Ferry, N., Horn, G., Orue-Echevarria, L., Solberg, A., Wimmer, M.: The evolution of CloudML and its manifestations. In: Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud (CloudMDE), Ottawa, Canada, pp. 1–6, September 2015
3. Bianchi, A., Manelli, L., Pizzutilo, S.: An ASM-based model for grid job management. Informatica 37(3), 295–306 (2013). Slovenia
4. Börger, E., Stark, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, New York (2003). doi:
10.1007/978-3-642-18216-7
5. Texts & Monographs in Symbolic Computation;K Bósa,2015