@misc{indiciaea4b7fea97a8c,
  title = {Bounded Invariant Checking for Stateflow Programs},
  author = {Predrag Filipovikj and Dilian Gurov and Mattias Nyberg},
  year = {2021},
  url = {https://arxiv.org/abs/2103.06248},
  note = {Source identifier: 2103.06248}
}