prism.FCFSextendedqueue: PRISM model for the FCFS scheduler with extended queue