Automated Generation of Embedded Systems Software from Timed DEVS Model of Computation Specifications | IEEE Conference Publication | IEEE Xplore