An Automatic Mapping from Statecharts to Verilog. - Viet-Anh Vu Tran; Shengchao Qin; Wei-Ngan Chin (ICTAC, 2004)