أرسل هذا في رسالة قصيرة: Verification of Linear Duration Properties over Continuous−Time Markov Chains