Optimized Transformation and Verification of SystemC Methods. - Marcel Pockrandt; Paula Herber; Holger Gross; Sabine Glesner (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)