@misc{indiciae6b893c590d5d,
  title = {Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT},
  author = {Anne Remke and Dung Hoang Tran},
  year = {2022},
  doi = {10.4204/eptcs.361},
  url = {https://arxiv.org/abs/2207.04391},
  note = {Source identifier: 2207.04391}
}