Statistical analysis and comparison of simulation models of highly dependable systems — An experimental study | IEEE Conference Publication | IEEE Xplore