Enviar aquest missatge de text: Race analysis for systemC using model checking