“…Besides that, formal ABMs were also proposed in public health. Among other examples in the case of infectious diseases, the literature proposes a formal modeling for defining complex agent networks (Mei et al, 2015), a spatio-temporal specification language, EpiSpec, for describing the spread of contagious diseases (a probabilistic framework) (Hussain et al, 2014), and a formal framework for the study of HIV/AIDS, FABS-AIDS (Siddiqa and Niazi, 2013). In the case of NCDs, we cite the stochastic ABM for network dynamics, SIENA (Snijders et al, 2010).…”