An empirical test of the accuracy of an attack graph analysis tool. - Teodor Sommestad; Fredrik Sandström (Inf. Comput. Secur., 2015)