@article{ebdevsaformalframeworkformodelingand, title = {EB-DEVS: A Formal Framework for Modeling and Simulation of Emergent Behavior in Dynamic Complex Systems}, author = {Daniel J. Foguelman and Philipp Henning and Adelinde Uhrmacher and Rodrigo Castro}, year = {2020}, eprint = {2010.05042}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2010.05042v2}, }