Modeling and Analysis of a Scheduled Maintenance System: a DSPN Approach