Expressing and computing passage time measures of GSPN models with HASL