Pomorova, Oksana, and Sergii Lysenko. "Formal and Intelligent Methods  for Security and Resilience:  Education and Training Issues." Information & Security: An International Journal 35, no. 2 (2016): 133-150.

Lawford, Mark, and Alan Wassyng. "Formal Verification of Nuclear Systems: Past, Present, and Future." Information & Security: An International Journal 28, no. 2 (2012): 223-235.