@misc{indiciaeee64ff11c321,
  title = {Formal Feature Interpretation of Hybrid Systems},
  author = {Antonio Anastasio Bruto da Costa and Goran Frehse and Pallab Dasgupta},
  year = {2019},
  doi = {10.1109/tcad.2018.2857361},
  url = {https://arxiv.org/abs/1711.00669},
  note = {Source identifier: 1711.00669}
}