أرسل هذا في رسالة قصيرة: Race analysis for systemC using model checking