1. Bergenti, F., Franchi, E., and Poggi, A., Selected models for agent-based simulation of social networks, Proc. 3rd Symposium on Social Networks and Multiagent Systems (SNAMAS 2011), 2011, pp. 27–32.
2. Clarke, E.M., Grumberg, O., and Jha, S., Verifying parameterized networks, ACM Trans. Progr. Lang. Syst., 1997, vol. 19, no. 5, pp. 726–750.
3. Clarke, E.M., Grumberg, O., and Peled, D., Model Checking, MIT Press, 1999.
4. Dassow, J., Grammars with regulated rewriting, Formal Lang. Appl. Stud. Fuzziness Soft Comp., 2004, vol. 148, pp. 249–273.
5. De Gennaro, M.C. and Jadbabaie, A., Decentralized control of connectivity for multi-agent systems, Proc. 45th IEEE Conference on Decision and Control, 2006, pp. 3628–3633.