@misc{indiciaeed5f15f425cb,
  title = {Attack Trees with Sequential Conjunction},
  author = {Ravi Jhawar and Barbara Kordy and Sjouke Mauw and Sasa Radomirovic and Rolando Trujillo-Rasua},
  year = {2015},
  url = {https://arxiv.org/abs/1503.02261},
  note = {Source identifier: 1503.02261}
}