Parallel Statistical Model Checking for Safety Verification in Smart Grids | IEEE Conference Publication | IEEE Xplore