Mathematical modelling of maintained systems using point processes | OUP Journals & Magazine | IEEE Xplore