इसका टेक्स्ट मैसेज भेजे: Time−Bounded Verification of CTMCs Against Real−Time Specifications