Marco Roveri, Franc Ivankovic, Luigi Palopoli, Daniele Fontanelli: Verifying a Stochastic Model for the Spread of a SARS-CoV-2-Like Infection: Opportunities and Limitations. AI*IA 2022: 427-440