1. Alur, R., Kannan, S., & Yannakakis, M. (1999). Communicating hierarchical state machines. In J. Wiedermann, P. van Emde Boas, & M. Nielsen (Eds.), Automata, languages and programming (pp. 169–178). Berlin: Springer.
2. Ancona, D., Ferrando, A., & Mascardi, V. (2016). Comparing trace expressions and linear temporal logic for runtime verification. In E. Ábrahám, M. Bonsangue, & E. B. Johnsen (Eds.), Theory and practice of formal methods: Essays dedicated to Frank de Boer on the occasion of his 60th birthday (pp. 47–64). Cham: Springer.
3. Baldoni, M., Baroglio, C., Calvanese, D., Micalizio, R., & Montali, M. (2016). Data and norm-aware multiagent systems for software modularization (position paper). In M. Baldoni, J. P. Müller, I. Nunes, & R. Zalila-Wenkstern (Eds.), Engineering multi-agent systems (EMAS) (informal workshop proceedings) (pp. 23–38). Singapore.
4. Baldoni, M., Baroglio, C., & Capuzzimati, F. (2014). A commitment-based infrastructure for programming socio-technical systems. ACM Transactions on Internet Technology, 14(4), 23:1–23:23.
5. Baldoni, M., Baroglio, C., Marengo, E., & Patti, V. (2013). Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Transactions on Intelligent Systems and Technologies, 4(2), 22.