"Generic Agent Models for Simulations of Concepts of Operation: Part 2", Journal of Aerospace Information Systems, vol. 11, pp. 623–631, oct, 2014.
"Example of a Complementary use of Model Checking and Agent-based Simulation", IEEE International Conference of Systems Man and Cybernetics, Manchester, UK, IEEE, October, 2013.
"Formal Analysis of Safety-Critical System Simulations", ATACCS 2nd International Conference on Application and Theory of Automation in Command and Control Systems, Imperial College, London, UK, May, 2012.