@misc{indiciaea03b4b3796b4,
  title = {Machine-checked executable semantics of Stateflow},
  author = {Shicheng Yi and Shuling Wang and Bohua Zhan and Naijun Zhan},
  year = {2022},
  url = {https://arxiv.org/abs/2207.11965},
  note = {Source identifier: 2207.11965}
}