@article{391,
  author = {Carl Hildebrandt and Sebastian Elbaum and Nicola Bezzo},
  title = {Blending kinematic and software models for tighter reachability analysis},
  year = {2020}
}