Marcello Mura Marco Paolieri Luca Negri Mariagiovanna Sami StateCharts to systemc: a high level hardware simulation approach. 505-508 2007 conf/glvlsi/2007 ACM Great Lakes Symposium on VLSI http://doi.acm.org/10.1145/1228784.1228904 db/conf/glvlsi/glvlsi2007.html#MuraPNS07