P. Godefroid. Dependable Software Systems Engineering, volume 45 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2016)
P. Godefroid. Software Systems Safety, volume 36 of NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)