Discrete-time Markov reward models of automated manufacturing systems with multiple part types and random rewards | IEEE Journals & Magazine | IEEE Xplore