Control of stochastic discrete event systems modeled by probabilistic languages | IEEE Journals & Magazine | IEEE Xplore