@misc{indiciae86290c56c5a4,
  title = {SCENARIOTCHECK: A Checklist-based Reading Technique for the Verification of IoT Scenarios},
  author = {Bruno Pedraca de Souza and Guilherme Horta Travassos},
  year = {2021},
  url = {https://arxiv.org/abs/2107.13597},
  note = {Source identifier: 2107.13597}
}