SystemC refinement