A Markov Decision Process model for optimal policy making in the maintenance of a single-machine single-product toolset | IEEE Conference Publication | IEEE Xplore