@misc{indiciae097f6d6cba44,
  title = {CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis},
  author = {Adam Summerville and Joseph Osborn and Michael Mateas},
  year = {2017},
  url = {https://arxiv.org/abs/1707.03336},
  note = {Source identifier: 1707.03336}
}