An integrated algorithm for probabilistic protocol verification and evaluation | IEEE Conference Publication | IEEE Xplore