Faily, Shamal, Lyle, John, Parkin, Simon, "Tool-supported premortems with attack and security patterns.", , 2012