Parallel Statistical Model Checking for Safety Verification in Smart Grids | Publicación