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