Parallel randomization for large structured Markov chains | IEEE Conference Publication | IEEE Xplore