@misc{indiciae015e592d40f4,
  title = {Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata},
  author = {Pauline Blohm and Felix Schulz and Lisa Willemsen and Anne Remke and Paula Herber},
  year = {2025},
  url = {https://arxiv.org/abs/2506.14581},
  note = {Source identifier: 2506.14581}
}