Specification languages as front-ends towards the DEVS formalism | IEEE Conference Publication | IEEE Xplore