Kichkaylo, T., T. Ryutov, M.D. Orosz, and R. Neches. “Planning to Discover and Counteract Attacks”. Informatica 34 (2). https://puffbird.ijs.si/index.php/informatica/article/view/287.