Parallel statistical model checking for safety verification in smart grids