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