A Formal Approach to Model the Expansion of Natural Events: The Case of Infectious Diseases | Publicación