Induction-based Verification of Timed Systems / vorgelegt von Tobias Isenberg, M.Sc.