The verification technique of real-time systems using probabilities | IEEE Conference Publication | IEEE Xplore