On probabilistic automata with structural restrictions | IEEE Conference Publication | IEEE Xplore