Verifying automata specification of distributed probabilistic real-time systems. - Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang 001; Zhenghu Gong; Zhichang Qi (J. Comput. Sci. Technol., 1998)