Technique and tool for symbolic representation and manipulation of stochastic transition systems | IEEE Conference Publication | IEEE Xplore