Marcello Pompa, Simona Panunzi, Alessandro Borri, Laura D’Orsi, Andrea De Gaetano. "“MoSpec”: A customized and integrated system for model development, verification and validation." PLoS ONE, 2025. doi:10.1371/journal.pone.0316401