Statistical Model Checking of GSPN Models