Generic architecture for interactive mobile simulation of parallel Devs models: A missile defense application | IEEE Conference Publication | IEEE Xplore