Detecting Harmful Race Conditions in SystemC Models Using Formal Techniques Author(s): Sven Beyer and Dominik Strasser Type: Presentation Download