Youssef Bouanan, Gregory Zacharewicz, Judicaël Ribault, Bruno Vallespir: Discrete Event System Specification-based framework for modeling and simulation of propagation phenomena in social networks: application to the information spreading in a multi-layer social network. Simul. 95(5) (2019)