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. Lecture Notes in Computer Science;P Arcaini,2010
3. Arcaini, P., Gargantini, A., Riccobene, E.: Automatic review of abstract state machines by meta property verification. In: Proceedings of Second NASA Formal Methods Symposium - NFM 2010, 13–15 April 2010, Washington D.C., USA, pp. 4–13 (2010)
4. Arcaini, P., Holom, R.-M., Riccobene, E.: ASM-based formal design of an adaptivity component for a cloud system. Form. Asp. Comput. 28(4), 567–595 (2016)
5. Bianchi, A., Manelli, L., Pizzutilo, S.: An ASM-based model for grid job management. Informatica (Slovenia) 37(3), 295–306 (2013)