Models of random machine downtimes for simulation | IEEE Conference Publication | IEEE Xplore