इसका टेक्स्ट मैसेज भेजे: Efficient CTMC Model Checking of Linear Real−Time Objectives