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). https://doi.org/10.1371/journal.pone.0316401