Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems | IEEE Conference Publication | IEEE Xplore