TY - RPRT TI - Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata AU - Pauline Blohm AU - Felix Schulz AU - Lisa Willemsen AU - Anne Remke AU - Paula Herber PY - 2025 UR - https://arxiv.org/abs/2506.14581 ID - 2506.14581 ER -