"Mapping Statecharts to Verilog for Hardware/Software Co-specification."

Shengchao Qin, Wei-Ngan Chin (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics