A framework for formal automated analysis of simulation experiments using probabilistic model checking | IEEE Conference Publication | IEEE Xplore