“MoSpec”: A customized and integrated system for model development, verification and validation - Marcello Pompa; Simona Panunzi; Alessandro Borri; Laura D’Orsi; Andrea De Gaetano (PLoS ONE, 2025)