PENET: A practical method and tool for integrated modeling of security attacks and countermeasures. - Srdjan Pudar; G. Manimaran; Chen-Ching Liu (Comput. Secur., 2009)