@misc{indiciaeb2cadb663a8e,
  title = {TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems},
  author = {Yinbo Yu and Jiajia Liu},
  year = {2022},
  doi = {10.1109/tifs.2022.3214084},
  url = {https://arxiv.org/abs/2102.01468},
  note = {Source identifier: 2102.01468}
}