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