Giese, HolgerHolgerGieseHirsch, MartinMartinHirsch2024-10-142024-10-142005https://knowledge.hpi.de/handle/123456789/1550Checking and Automatic Abstraction for Timed and Hybrid Refinement in Mechtronic UMLtechreport