Giese, HolgerHolgerGieseHirsch, MartinMartinHirsch2025-03-252025-03-252005https://knowledge.hpi.de/handle/123456789/22467Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UMLtechreport