Kichkaylo, T.; Ryutov, T.; Orosz, M.; Neches, R. Planning to Discover and Counteract Attacks. Informatica 34 (2).