1. Ammann, P., & Offutt, J. (2016). Introduction to software testing. Cambridge: Cambridge University Press.
2. Angius, N. (2013). Abstraction and idealization in the formal verification of software systems. Minds and Machines, 23(2), 211–226.
3. Angius, N., & Tamburrini, G. (2011). Scientific theories of computational systems in model checking. Minds and Machines, 21(2), 323–336.
4. Baier, C., Katoen, J.-P., & Larsen, K. G. (2008). Principles of model checking. Cambridge: MIT press.
5. Boureanu, I., Kouvaros, P., & Lomuscio, A., (2016). Verifying security properties in unbounded multiagent systems. In Proceedings of the 2016 international conference on autonomous agents & multiagent systems (pp. 1209–1217). International Foundation for Autonomous Agents and Multiagent Systems.