Automatic verification of probabilistic concurrent finite state programs | IEEE Conference Publication | IEEE Xplore