Modeling Reactive Game Agents Using The Cell-Devs Modeling Formalism | IEEE Conference Publication | IEEE Xplore