@inproceedings{meyer2019hscc,
  title={{TIRA}: Toolbox for Interval Reachability Analysis},
  author={Meyer, Pierre-Jean and Devonport, Alex and Arcak, Murat},
  booktitle={$22^{nd}$ ACM International Conference on Hybrid Systems: Computation and Control},
  pages={224-229},
  year={2019}
}