G. Klein, and T. Nipkow. Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)
E. van den Heuvel, and G. Baltink. Best Practices in Computer Network Defense, volume 35 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2014)