State space optimization within the DEVS model of computation for timing efficiency | IEEE Conference Publication | IEEE Xplore