DEVS formalism: a framework for hierarchical model development | IEEE Journals & Magazine | IEEE Xplore