Discrete Event System Specification (DEVS) and StateMate StateCharts Equivalence for Embedded Systems Modeling