Pockrandt, M.; Herber, P.; Gross, H.; Glesner, S. Optimized Transformation and Verification of SystemC Methods. ECEASST 2012, 53.