A DEVS-based pivotal modeling formalism and its verification and validation framework. - Kehinde G. Samuel; Nourou-Dine M. Bouare; Oumar Y. Maïga; Mamadou K. Traoré (Simul., 2020)