UML state machine as modeling language for DEVS formalism | IEEE Conference Publication | IEEE Xplore