@article{modelingtranslationandanalysisof,
  title = {Modeling, Translation, and Analysis of Different examples using Simulink, Stateflow, SpaceEx, and FlowStar},
  author = {Yogesh Gajula and Ravi Varma Lingala},
  year = {2025},
  eprint = {2504.04638},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2504.04638v1},
}