Exact quantitative probabilistic model checking through rational search | IEEE Conference Publication | IEEE Xplore