A Method for Translating Automatically Statechart Models into VHDL Code