@article{towardsautomatednetworkmitigationanalysi,
  title = {Towards Automated Network Mitigation Analysis (extended)},
  author = {Patrick Speicher and Marcel Steinmetz and Jörg Hoffmann and Michael Backes and Robert Künnemann},
  year = {2017},
  eprint = {1705.05088},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1705.05088v2},
}