of Discrete-Time Markov Chains -- Verifying Linear Duration Constraints of Timed