Stochastic production systems: production and maintenance scheduling with finite buffers | IEEE Conference Publication | IEEE Xplore