Per visualizzare il file, fai click su questo link: Model Checking_2023.pdf