Automated Generation Of Simulink Models For Enumeration Hybrid Automata