@misc{indiciaee75336f0d19d,
  title = {Hybrid Automata Library},
  author = {Bravo, R. R. and Robertson-Tessi, M. and Anderson, A. R. A.},
  year = {2018},
  doi = {10.1101/411538},
  url = {https://www.biorxiv.org/content/10.1101/411538v1},
  note = {Source identifier: 10.1101/411538}
}