VESTA: A statistical model-checker and analyzer for probabilistic systems | IEEE Conference Publication | IEEE Xplore