Formal Modeling and Simulation for SARS-CoV-2 Containment Scenarios in Catalonia | Publicación