@proceedings{78,
  author = {Zhenya Zhang and Gidon Ernst and Ichiro Hasuo and Sean Sedwards},
  title = {Time-Staging Enhancement of Hybrid System Falsification},
  year = {2018},
  pages = {3\textendash4},
  publisher = {IEEE},
  address = {Porto, Portugal},
  url = {https://ieeexplore.ieee.org/abstract/document/8429475},
}