Modelling of maintenance, within discrete event simulation | IEEE Conference Publication | IEEE Xplore