Discrete event system specification (DEVS) and StateMate StateCharts equivalence for embedded systems modeling | IEEE Conference Publication | IEEE Xplore