@misc{indiciaeef7e10821e39,
  title = {Mars 2.0: A Toolchain for Modeling, Analysis, Verification and Code Generation of Cyber-Physical Systems},
  author = {Bohua Zhan and Xiong Xu and Qiang Gao and Zekun Ji and Xiangyu Jin and Shuling Wang and Naijun Zhan},
  year = {2024},
  url = {https://arxiv.org/abs/2403.03035},
  note = {Source identifier: 2403.03035}
}