Equivalence and minimization of output augmented DEVS | IEEE Conference Publication | IEEE Xplore