@misc{indiciae114ed32ea3db,
  title = {Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems},
  author = {Daniel Bryce and Sergiy Bogomolov and Alexander Heinz and Christian Schilling},
  year = {2016},
  url = {https://arxiv.org/abs/1609.03847},
  note = {Source identifier: 1609.03847}
}