@misc{indiciaedb892bc7dc6d,
  title = {Model Checking Implantable Cardioverter Defibrillators},
  author = {Houssam Abbas and Kuk Jin Jang and Zhihao Jiang and Rahul Mangharam},
  year = {2015},
  url = {https://arxiv.org/abs/1512.08083},
  note = {Source identifier: 1512.08083}
}