Pockrandt, M. (2012) “Optimized Transformation and Verification of SystemC Methods”, Electronic Communications of the EASST, 53. doi: 10.14279/tuj.eceasst.53.789.