Click Model Checking_2023.pdf link to view the file.