Model Checking Real-Time Value-Passing Systems. - Jing Chen; Zi-Ning Cao (J. Comput. Sci. Technol., 2004)