Verifying SystemC: a Software Model Checking Approach