इसका टेक्स्ट मैसेज भेजे: Race analysis for systemC using model checking