(Stochastic) Model Checking in GreatSPN