1. Bardin, S., Finkel, A., Leroux, J., Petrucci, L.: FAST: acceleration from theory to practice. STTT 10(5), 401–424 (2008)
2. Bertrand, N., Delzanno, G., König, B., Sangnier, A., Stückrath, J.: On the decidability status of reachability and coverability in graph transformation systems. In: 23rd International Conference on Rewriting Techniques and Applications (RTA 2012), Nagoya, Japan, 28 May – 2 June 2012, pp. 101–116 (2012)
3. Bouajjani, A., Dragoi, C., Enea, C., Jurski, Y., Sighireanu, M.: A generic framework for reasoning about dynamic networks of in nite-state processes. Logical Methods Comput. Sci. 5(2), 1–29 (2009). http://arxiv.org/pdf/0903.3126.pdf
4. Das, S., Perkins, C., Belding-Royer, E.: Ad hoc on-demand distance vector (AODV) routing (2003)
5. Delzanno, G.: A logic-based approach to verify distributed protocols. To appear in the Proceedings of CILC (2016)