Ein Lyapunov-Ansatz für die zeitbegrenzte Erreichbarkeit von CTMCs und CTMDPs